Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computational logic in multi-agent systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL., USA, January 6-7, 2004 : revised selected and invited papers / / Jurgen Dix, Joao Leite (eds.)
| Computational logic in multi-agent systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL., USA, January 6-7, 2004 : revised selected and invited papers / / Jurgen Dix, Joao Leite (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2004 |
| Descrizione fisica | 1 online resource (XII, 251 p.) |
| Disciplina | 004/.015113 |
| Altri autori (Persone) |
DixJ <1961-> (Jurgen)
LeiteJoao Alexandre |
| Collana |
Hot topics
Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico | Computer logic |
| ISBN | 3-540-30200-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Distributed Algorithms for Dynamic Survivability of Multiagent Systems -- Programming Groups of Rational Agents -- Negotiation in Multi-agent Systems -- An Abductive Framework for Information Exchange in Multi-agent Systems -- Fault Tolerant and Fixed Scalable Structure of Middle-Agents -- Symbolic Negotiation with Linear Logic -- Planning in Multi-agent Systems -- Planning Experiments in the DALI Logic Programming Language -- A New HTN Planning Framework for Agents in Dynamic Environments -- Knowledge Revision and Update in Multi-agent Systems -- Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences -- A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction -- Weighted Multi Dimensional Logic Programs -- (Dis)Belief Change Based on Messages Processing -- Learning in BDI Multi-agent Systems -- Learning in BDI Multi-agent Systems -- The Apriori Stochastic Dependency Detection (ASDD) Algorithm for Learning Stochastic Logic Rules. |
| Altri titoli varianti |
CLIMA IV
CLIMA 4 |
| Record Nr. | UNINA-9910484260803321 |
| Berlin ; ; New York, : Springer, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of information and knowledge systems : 4th international symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006 : proceedings / / Jurgen Dix, Stephen J. Hegner (eds.)
| Foundations of information and knowledge systems : 4th international symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006 : proceedings / / Jurgen Dix, Stephen J. Hegner (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (X, 331 p.) |
| Disciplina | 004 |
| Altri autori (Persone) |
DixJ <1961-> (Jurgen)
HegnerStephen J |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer systems
Information technology Computer science - Mathematics Databases Knowledge representation (Information theory) |
| ISBN | 3-540-31784-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentation -- The Semijoin Algebra -- Regular Papers -- Equational Constraint Solving Via a Restricted Form of Universal Quantification -- Modeling the Evolution of Objects in Temporal Information Systems -- Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel -- Iterative Modification and Incremental Evaluation of Preference Queries -- On the Number of Independent Functional Dependencies -- Arity and Alternation: A Proper Hierarchy in Higher Order Logics -- Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results -- The Nested List Normal Form for Functional and Multivalued Dependencies -- Axiomatising Functional Dependencies for XML with Frequencies -- Guarded Open Answer Set Programming with Generalized Literals -- Reasoning Support for Expressive Ontology Languages Using a Theorem Prover -- Consistency Checking Algorithms for Restricted UML Class Diagrams -- Some Contributions to the Minimum Representation Problem of Key Systems -- On Multivalued Dependencies in Fixed and Undetermined Universes -- Preference-Based Query Tuning Through Refinement/Enlargement in a Formal Context -- Processing Ranked Queries with the Minimum Space -- Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm. |
| Altri titoli varianti | FoIKS 2006 |
| Record Nr. | UNINA-9910483038703321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||