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.
Non-Monotonic Extensions of Logic Programming [[electronic resource] ] : Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers / / edited by Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski
| Non-Monotonic Extensions of Logic Programming [[electronic resource] ] : Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers / / edited by Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIII, 231 p.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Artificial intelligence Mathematical logic Computer programming Computer System Implementation Programming Languages, Compilers, Interpreters Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-540-68702-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prolegomena to logic programming for non-monotonic reasoning -- On logics and semantics for general logic programs -- A new logical characterisation of stable models and answer sets -- Aggregation and well-founded semantics+ -- Nonmonotonic reasoning by monotonic inferences with priority constraints -- Update-programms can update programs -- An abductive proof procedure for reasoning about actions in modal logic programming -- Update programs versus revision programs -- Transformation-based bottom-up computation of the well-founded model -- Computation of non-ground disjunctive well-founded semantics with constraint logic programming. |
| Record Nr. | UNINA-9910144924203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Non-Monotonic Extensions of Logic Programming [[electronic resource] ] : Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers / / edited by Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski
| Non-Monotonic Extensions of Logic Programming [[electronic resource] ] : Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers / / edited by Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIII, 231 p.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Artificial intelligence Mathematical logic Computer programming Computer System Implementation Programming Languages, Compilers, Interpreters Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-540-68702-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prolegomena to logic programming for non-monotonic reasoning -- On logics and semantics for general logic programs -- A new logical characterisation of stable models and answer sets -- Aggregation and well-founded semantics+ -- Nonmonotonic reasoning by monotonic inferences with priority constraints -- Update-programms can update programs -- An abductive proof procedure for reasoning about actions in modal logic programming -- Update programs versus revision programs -- Transformation-based bottom-up computation of the well-founded model -- Computation of non-ground disjunctive well-founded semantics with constraint logic programming. |
| Record Nr. | UNISA-996465531703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Multi-Agent Systems [[electronic resource] ] : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers / / edited by Mehdi Dastani, Juergen Dix, Amal EL Fallah-Seghrouchni
| Programming Multi-Agent Systems [[electronic resource] ] : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers / / edited by Mehdi Dastani, Juergen Dix, Amal EL Fallah-Seghrouchni |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 226 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer communication systems Computer logic Programming languages (Electronic computers) Artificial Intelligence Software Engineering Computer Communication Networks Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-25936-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section I: Programming Multiagent Systems -- A Vision for Multi-agent Systems Programming -- Implementing Industrial Multi-agent Systems Using JACKTM -- Programming Software Agents as Designing Executable Business Processes: A Model-Driven Perspective -- Section II: Languages for Multiagent Systems -- Verifiable Multi-agent Programs -- CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents -- A Programming Language for Cognitive Agents Goal Directed 3APL -- Section III: Principles and Tools for Multiagent Systems -- Team Oriented Programming and Proxy Agents: The Next Generation -- Developing Agent Interaction Protocols Using Graphical and Logical Methodologies -- Norm Adoption and Consistency in the NoA Agent Architecture -- A Tool for Integrated Design and Implementation of Conversations in Multiagent Systems -- SPACE: A Method to Increase Tracability in MAS Development. |
| Record Nr. | UNISA-996466227303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Multi-Agent Systems : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers / / edited by Mehdi Dastani, Juergen Dix, Amal EL Fallah-Seghrouchni
| Programming Multi-Agent Systems : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers / / edited by Mehdi Dastani, Juergen Dix, Amal EL Fallah-Seghrouchni |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 226 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer networks Computer logic Programming languages (Electronic computers) Artificial Intelligence Software Engineering Computer Communication Networks Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-25936-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section I: Programming Multiagent Systems -- A Vision for Multi-agent Systems Programming -- Implementing Industrial Multi-agent Systems Using JACKTM -- Programming Software Agents as Designing Executable Business Processes: A Model-Driven Perspective -- Section II: Languages for Multiagent Systems -- Verifiable Multi-agent Programs -- CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents -- A Programming Language for Cognitive Agents Goal Directed 3APL -- Section III: Principles and Tools for Multiagent Systems -- Team Oriented Programming and Proxy Agents: The Next Generation -- Developing Agent Interaction Protocols Using Graphical and Logical Methodologies -- Norm Adoption and Consistency in the NoA Agent Architecture -- A Tool for Integrated Design and Implementation of Conversations in Multiagent Systems -- SPACE: A Method to Increase Tracability in MAS Development. |
| Record Nr. | UNINA-9910144157403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||