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 : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers / / Jurgen Dix, Michael Fisher, Peter Novak (eds.)
| Computational logic in multi-agent systems : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers / / Jurgen Dix, Michael Fisher, Peter Novak (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2010 |
| Descrizione fisica | 1 online resource (IX, 197 p. 40 illus.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
DixJurgen
FisherMichael NovakPeter |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lectures notes in artificial intelligence Lectures notes in computer science |
| Soggetto topico |
Computer logic
Multiagent systems |
| ISBN |
1-280-39027-1
9786613568199 3-642-16867-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Planning for Multiagent Using ASP-Prolog -- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL -- Reasoning about Multi-agent Domains Using Action Language : A Preliminary Study -- Model Checking Normative Agent Organisations -- Operational Semantics for BDI Modules in Multi-agent Programming -- InstQL: A Query Language for Virtual Institutions Using Answer Set Programming -- Interacting Answer Sets -- Argumentation-Based Preference Modelling with Incomplete Information -- A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier -- On the Implementation of Speculative Constraint Processing. |
| Record Nr. | UNINA-9910484841103321 |
| Berlin, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logics in artificial intelligence : European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 proceedings / / Jurgen Dix, Luis Fariñas del Cerro, Ulrich Furbach (eds.)
| Logics in artificial intelligence : European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 proceedings / / Jurgen Dix, Luis Fariñas del Cerro, Ulrich Furbach (eds.) |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (X, 390 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-540-49545-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic Programming -- The Well-Founded Semantics Is the Principle of Inductive Definition -- Combining Introspection and Communication with Rationality and Reactivity in Agents -- Disjunctive Logic Program = Horn Program + Control Program -- Semantics of Partial-Order Programs -- Epistemic Logics -- Persistence and Minimality in Epistemic Logic -- Prohairetic Deontic Logic (PDL) -- Phased Labeled Logics of Conditional Goals -- Theorem Proving -- Analysis of Distributed-Search Contraction-Based Strategies -- A Deduction Method Complete for Refutation and Finite Satisfiability -- Requirement-Based Cooperative Theorem Proving -- ?-Resolution: An Inference Rule for Regular Multiple-Valued Logics -- A Matrix Characterization for -- A Resolution Calculus for Dynamic Semantics -- Algorithms on Atomic Representations of Herbrand Models -- Non-monotonic Reasoning -- On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription -- An Approach to Query-Answering in Reiter’s Default Logic and the Underlying Existence of Extensions Problem -- Towards State Update Axioms: Reifying Successor State Axioms -- Non-standard Logics -- A Mechanised Proof System for Relation Algebra Using Display Logic -- Relative Similarity Logics are Decidable: Reduction to FO2 with Equality -- A Conditional Logic for Belief Revision -- Implicates and Reduction Techniques for Temporal Logics -- A Logic for Anytime Deduction and Anytime Compilation -- Knowledge Representation -- On Knowledge, Strings, and Paradoxes -- Propositional Lower Bounds: Generalization and Algorithms -- Higher Order Logics -- Higher Order Generalization -- Invited Talks -- The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary -- Towards Inference and Computation Mobility: The Jinni Experiment. |
| Record Nr. | UNINA-9910143484803321 |
| Berlin ; ; Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logics in artificial intelligence : European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 proceedings / / Jurgen Dix, Luis Fariñas del Cerro, Ulrich Furbach (eds.)
| Logics in artificial intelligence : European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 proceedings / / Jurgen Dix, Luis Fariñas del Cerro, Ulrich Furbach (eds.) |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (X, 390 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-540-49545-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic Programming -- The Well-Founded Semantics Is the Principle of Inductive Definition -- Combining Introspection and Communication with Rationality and Reactivity in Agents -- Disjunctive Logic Program = Horn Program + Control Program -- Semantics of Partial-Order Programs -- Epistemic Logics -- Persistence and Minimality in Epistemic Logic -- Prohairetic Deontic Logic (PDL) -- Phased Labeled Logics of Conditional Goals -- Theorem Proving -- Analysis of Distributed-Search Contraction-Based Strategies -- A Deduction Method Complete for Refutation and Finite Satisfiability -- Requirement-Based Cooperative Theorem Proving -- ?-Resolution: An Inference Rule for Regular Multiple-Valued Logics -- A Matrix Characterization for -- A Resolution Calculus for Dynamic Semantics -- Algorithms on Atomic Representations of Herbrand Models -- Non-monotonic Reasoning -- On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription -- An Approach to Query-Answering in Reiter’s Default Logic and the Underlying Existence of Extensions Problem -- Towards State Update Axioms: Reifying Successor State Axioms -- Non-standard Logics -- A Mechanised Proof System for Relation Algebra Using Display Logic -- Relative Similarity Logics are Decidable: Reduction to FO2 with Equality -- A Conditional Logic for Belief Revision -- Implicates and Reduction Techniques for Temporal Logics -- A Logic for Anytime Deduction and Anytime Compilation -- Knowledge Representation -- On Knowledge, Strings, and Paradoxes -- Propositional Lower Bounds: Generalization and Algorithms -- Higher Order Logics -- Higher Order Generalization -- Invited Talks -- The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary -- Towards Inference and Computation Mobility: The Jinni Experiment. |
| Record Nr. | UNISA-996466150003316 |
| Berlin ; ; Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Multiagent system technologies : 8th German conference, MATES 2010, Leipzig, Germany, September 27-29, 2010 : proceedings / / [edited by] Jurgen Dix, Cees Witteveen
| Multiagent system technologies : 8th German conference, MATES 2010, Leipzig, Germany, September 27-29, 2010 : proceedings / / [edited by] Jurgen Dix, Cees Witteveen |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XII, 221 p. 81 illus.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
DixJurgen
WitteveenCees |
| Collana | Lecture notes in artificial intelligence |
| Soggetto topico |
Intelligent agents (Computer software)
Distributed artificial intelligence |
| ISBN |
1-280-38963-X
9786613567550 3-642-16178-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Tournament Solutions and Their Applications to Multiagent Decision Making -- Research Challenges in Simulation Aided Design of Complex Multi-agent Systems -- Models and Specifications -- A Model Driven Development of Platform-Neutral Agents -- A Novel Formal Specification Approach for Real Time Multi-Agent System Functional Requirements -- Do You Get It? User-Evaluated Explainable BDI Agents -- Trust, Norms and Reputation -- Reputation in Multi Agent Systems and the Incentives to Provide Feedback -- Normative Deliberation in Graded BDI Agents -- Inducing Desirable Behaviour through an Incentives Infrastructure -- Models, Tools and Architectures -- SONAR/OREDI: A Tool for Creation and Deployment of Organisation Models -- Enhancing the Interoperability between Multiagent Systems and Service-Oriented Architectures through a Model-Driven Approach -- Unifying Agent and Component Concepts -- Applications I -- Impact of Competition on Quality of Service in Demand Responsive Transit -- Towards Distributed Agent Environments for Pervasive Healthcare -- Context-Aware Route Planning -- Coordination and Learning -- Social Conformity and Its Convergence for Reinforcement Learning -- COLYPAN: A Peer-to-Peer Architecture for a Project Management Collaborative Learning System -- Preference Generation for Autonomous Agents -- Evaluation of Techniques for a Learning-Driven Modeling Methodology in Multiagent Simulation -- Applications II -- Price Prediction in Sports Betting Markets -- Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach. |
| Record Nr. | UNINA-9910484359503321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||