AIIA 2013: Advances in Artificial Intelligence [[electronic resource] ] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, Proceedings / / edited by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVIII, 540 p. 128 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data mining Mathematical logic Computers User interfaces (Computer systems) Pattern recognition Artificial Intelligence Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computation by Abstract Devices User Interfaces and Human Computer Interaction Pattern Recognition |
ISBN | 3-319-03524-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Knowledge representation and reasoning -- Machine learning -- Natural language processing -- Planning -- Distributed AI: robotics and MAS -- Recommender systems and semantic Web.- AI applications. |
Record Nr. | UNISA-996465668303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
AIIA 2013: Advances in Artificial Intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, Proceedings / / edited by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVIII, 540 p. 128 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data mining Mathematical logic Computers User interfaces (Computer systems) Pattern recognition Artificial Intelligence Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computation by Abstract Devices User Interfaces and Human Computer Interaction Pattern Recognition |
ISBN | 3-319-03524-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Knowledge representation and reasoning -- Machine learning -- Natural language processing -- Planning -- Distributed AI: robotics and MAS -- Recommender systems and semantic Web.- AI applications. |
Record Nr. | UNINA-9910484686003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Declarative Agent Languages and Technologies III [[electronic resource] ] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XII, 248 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Artificial Intelligence Computer Communication Networks Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-33107-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Agent Programming and Beliefs -- Beliefs in Agent Implementation -- Modelling Uncertainty in Agent Programming -- Complete Axiomatizations of Finite Syntactic Epistemic States -- Architectures and Logic Programming -- An Architecture for Rational Agents -- LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming -- A Distributed Architecture for Norm-Aware Agent Societies -- About Declarative Semantics of Logic-Based Agent Languages -- Knowledge Representation and Reasoning -- Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour -- Resource-Bounded Belief Revision and Contraction -- Agent-Oriented Programming with Underlying Ontological Reasoning -- Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains -- A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results -- Coordination and Model Checking -- An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents -- A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. |
Record Nr. | UNISA-996465802203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Declarative Agent Languages and Technologies III : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XII, 248 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Artificial Intelligence Computer Communication Networks Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-33107-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Agent Programming and Beliefs -- Beliefs in Agent Implementation -- Modelling Uncertainty in Agent Programming -- Complete Axiomatizations of Finite Syntactic Epistemic States -- Architectures and Logic Programming -- An Architecture for Rational Agents -- LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming -- A Distributed Architecture for Norm-Aware Agent Societies -- About Declarative Semantics of Logic-Based Agent Languages -- Knowledge Representation and Reasoning -- Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour -- Resource-Bounded Belief Revision and Contraction -- Agent-Oriented Programming with Underlying Ontological Reasoning -- Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains -- A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results -- Coordination and Model Checking -- An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents -- A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. |
Record Nr. | UNINA-9910768467503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Declarative Agent Languages and Technologies IV [[electronic resource] ] : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / / edited by Matteo Baldoni, Ulle Endriss |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (VIII, 268 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Programming languages (Electronic computers)
Artificial intelligence Computer communication systems Software engineering Computer logic Programming Languages, Compilers, Interpreters Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs |
ISBN | 3-540-68961-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Producing Compliant Interactions: Conformance, Coverage, and Interoperability -- Invited Papers -- Towards Theory Translation -- The Complexity of Model Checking Concurrent Programs Against CTLK Specifications -- Dynamic Model Checking for Multi-agent Systems -- Contributed Papers -- Automating Belief Revision for AgentSpeak -- A Foundational Ontology of Organizations and Roles -- When Agents Communicate Hypotheses in Critical Situations -- A Fibred Tableau Calculus for Modal Logics of Agents -- Programming Declarative Goals Using Plan Patterns -- JADL – An Agent Description Language for Smart Agents -- Agreeing on Defeasible Commitments -- A Dynamic Logic Programming Based System for Agents with Declarative Goals -- A Collaborative Framework to Realize Virtual Enterprises Using 3APL -- A Modeling Framework for Generic Agent Interaction Protocols -- Plan Generation and Plan Execution in Agent Programming -- A Functional Program for Agents, Actions, and Deontic Specifications. |
Record Nr. | UNISA-996465988303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Declarative Agent Languages and Technologies IV : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / / edited by Matteo Baldoni, Ulle Endriss |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (VIII, 268 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Programming languages (Electronic computers)
Artificial intelligence Computer communication systems Software engineering Computer logic Programming Languages, Compilers, Interpreters Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs |
ISBN | 3-540-68961-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Producing Compliant Interactions: Conformance, Coverage, and Interoperability -- Invited Papers -- Towards Theory Translation -- The Complexity of Model Checking Concurrent Programs Against CTLK Specifications -- Dynamic Model Checking for Multi-agent Systems -- Contributed Papers -- Automating Belief Revision for AgentSpeak -- A Foundational Ontology of Organizations and Roles -- When Agents Communicate Hypotheses in Critical Situations -- A Fibred Tableau Calculus for Modal Logics of Agents -- Programming Declarative Goals Using Plan Patterns -- JADL – An Agent Description Language for Smart Agents -- Agreeing on Defeasible Commitments -- A Dynamic Logic Programming Based System for Agents with Declarative Goals -- A Collaborative Framework to Realize Virtual Enterprises Using 3APL -- A Modeling Framework for Generic Agent Interaction Protocols -- Plan Generation and Plan Execution in Agent Programming -- A Functional Program for Agents, Actions, and Deontic Specifications. |
Record Nr. | UNINA-9910483038003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Declarative Agent Languages and Technologies VI [[electronic resource] ] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 251 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computers Programming languages (Electronic computers) Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Models and Principles Software Engineering Programming Languages, Compilers, Interpreters |
ISBN | 3-540-93920-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Specifying and Enforcing Norms in Artificial Institutions -- Social Norm Emergence in Virtual Agent Societies -- A Distributed Normative Infrastructure for Situated Multi-agent Organisations -- Contributed Papers -- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications -- Combining Multiple Knowledge Representation Technologies into Agent Programming Languages -- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions -- JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies -- Leveraging New Plans in AgentSpeak(PL) -- Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading -- Inductive Negotiation in Answer Set Programming -- Mental State Abduction of BDI-Based Agents -- Iterated Belief Revision in the Face of Uncertain Communication -- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms -- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming -- Strategic Agent Communication: An Argumentation-Driven Approach. |
Record Nr. | UNISA-996465403003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 251 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computers Programming languages (Electronic computers) Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Models and Principles Software Engineering Programming Languages, Compilers, Interpreters |
ISBN | 3-540-93920-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Specifying and Enforcing Norms in Artificial Institutions -- Social Norm Emergence in Virtual Agent Societies -- A Distributed Normative Infrastructure for Situated Multi-agent Organisations -- Contributed Papers -- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications -- Combining Multiple Knowledge Representation Technologies into Agent Programming Languages -- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions -- JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies -- Leveraging New Plans in AgentSpeak(PL) -- Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading -- Inductive Negotiation in Answer Set Programming -- Mental State Abduction of BDI-Based Agents -- Iterated Belief Revision in the Face of Uncertain Communication -- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms -- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming -- Strategic Agent Communication: An Argumentation-Driven Approach. |
Record Nr. | UNINA-9910483414503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Declarative Agent Languages and Technologies VII [[electronic resource] ] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers / / edited by Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XII, 263 p.) |
Disciplina | 005.13 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computers Programming languages (Electronic computers) Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Models and Principles Software Engineering Programming Languages, Compilers, Interpreters |
ISBN |
1-280-38543-X
9786613563354 3-642-11355-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Playing with Rules -- Invited Papers -- The Refinement of Choreographed Multi-Agent Systems -- Goal Generation from Possibilistic Beliefs Based on Trust and Distrust -- Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach -- Contributed Papers -- Unifying the Intentional and Institutional Semantics of Speech Acts -- Tableaux for Acceptance Logic -- Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology -- Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report -- Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks -- Computing Utility from Weighted Description Logic Preference Formulas -- Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games -- Correctness Properties for Multiagent Systems -- Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming -- Social Commitments in Time: Satisfied or Compensated -- Verifying Dribble Agents. |
Record Nr. | UNISA-996465332303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Declarative Agent Languages and Technologies VII : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers / / edited by Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XII, 263 p.) |
Disciplina | 005.13 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computers Programming languages (Electronic computers) Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Models and Principles Software Engineering Programming Languages, Compilers, Interpreters |
ISBN |
1-280-38543-X
9786613563354 3-642-11355-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Playing with Rules -- Invited Papers -- The Refinement of Choreographed Multi-Agent Systems -- Goal Generation from Possibilistic Beliefs Based on Trust and Distrust -- Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach -- Contributed Papers -- Unifying the Intentional and Institutional Semantics of Speech Acts -- Tableaux for Acceptance Logic -- Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology -- Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report -- Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks -- Computing Utility from Weighted Description Logic Preference Formulas -- Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games -- Correctness Properties for Multiagent Systems -- Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming -- Social Commitments in Time: Satisfied or Compensated -- Verifying Dribble Agents. |
Record Nr. | UNINA-9910484908303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|