Skip to Main Content (Press Enter)

Logo UNIBS
  • ×
  • Home
  • Persone
  • Strutture
  • Competenze
  • Pubblicazioni
  • Professioni
  • Corsi
  • Insegnamenti
  • Terza Missione

Competenze & Professionalità
Logo UNIBS

|

Competenze & Professionalità

unibs.it
  • ×
  • Home
  • Persone
  • Strutture
  • Competenze
  • Pubblicazioni
  • Professioni
  • Corsi
  • Insegnamenti
  • Terza Missione
  1. Pubblicazioni

ARTIFICIAL INTELLIGENCE

Rivista
Codice:
E015209
ISSN:
0004-3702
  • Dati Generali

Dati Generali

Pubblicazioni (31)

  • crescente
  • decrescente
A general semi-structured formalism for computational argumentation: Definition, properties, and examples of application
Articolo
Agent planning programs
Articolo
An Approach to Efficient Planning with Numerical Fluents and Multi-Criteria Plan Quality
Articolo
An Introduction to the Planning Domain Definition Language (PDDL): Book review
Articolo
Automata for infinite argumentation structures
Articolo
CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement
Articolo
Combining Topological and Size Information for Spatial Reasoning
Articolo
Computing the Minimal Relations in Point-based Qualitative Temporal Reasoning Through Metagraph Closure
Articolo
Decidability and complexity of action-based temporal planning over dense time
Articolo
Deterministic Planning in the Fifth International Planning Competition: PDDL3 and Experimental Evaluation of the Planners
Articolo
Diagnosis of discrete-event systems from uncertain temporal observations
Articolo
Diagnosis of large active systems
Articolo
Efficient Algorithms for Qualitative Reasoning about Time
Articolo
Extending abstract argumentation systems theory
Articolo
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
Articolo
Generating diverse plans to handle unknown and partially known user preferences
Articolo
How we designed winning algorithms for abstract argumentation and which insight we attained
Articolo
Incremental Qualitative Temporal Reasoning: Algorithms for the Point Algebra and the ORD-Horn Class
Articolo
Kernel functions for case-based planning
Articolo
Lifted action models learning from partial traces
Articolo
On Point-Based Temporal Disjointness
Articolo
On generalized notions of consistency and reinstatement and their preservation in formal argumentation
Articolo
On principle-based evaluation of extension-based argumentation semantics
Articolo
On the Input/Output behavior of argumentation frameworks
Articolo
On the resolution-based family of abstract argumentation semantics and its grounded instance
Articolo
On topology-related properties of abstract argumentation semantics. A correction and extension to "Dynamics of argumentation systems: A division-based method"
Articolo
Planning for temporally extended goals in pure-past linear temporal logic
Articolo
SCC-recursiveness: a general schema for argumentation semantics
Articolo
Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems
Articolo
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning
Articolo
Width-based search for multi agent privacy-preserving planning
Articolo
No Results Found
  • «
  • ‹
  • {pageNumber}
  • ›
  • »
{startItem} - {endItem} di {itemsNumber}
  • Assistenza
  • Privacy
  • Utilizzo dei cookie
  • Note legali

Realizzato con VIVO | Designed by Cineca | 26.6.1.0