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 [[electronic resource] ] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings / / edited by Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings / / edited by Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (228 p. 50 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Programming languages (Electronic computers) Computer logic Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-32897-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report -- Multi-agent Only-Knowing -- Logics for Reasoning about Agents’ Attitudes in Strategic Contexts -- A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents -- Distributed Defeasible Speculative Reasoning in Ambient Environment -- A Formal Semantics for Agent (Re)Organization -- Epistemic ATL with Perfect Recall, Past and Strategy Contexts -- Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters -- Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach -- A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks -- MKNF Knowledge Bases in Multi-Context Systems -- Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning -- Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation -- A Numerical Approach to the Merging of Argumentation Networks. |
| Record Nr. | UNISA-996465273303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / / edited by Jürgen Dix, Michael Fisher, Peter Novák
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / / edited by Jürgen Dix, Michael Fisher, Peter Novák |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 197 p. 40 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer communication systems Software engineering Application software Computer logic Artificial Intelligence Mathematical Logic and Formal Languages Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Logics and Meanings of Programs |
| Soggetto genere / forma | Kongress. |
| 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. | UNISA-996465689803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / / edited by Michael Fisher, Fariba Sadri, Michael Thielscher
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / / edited by Michael Fisher, Fariba Sadri, Michael Thielscher |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (IX, 173 p.) |
| Disciplina | 004n/a |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Computer logic Computers Data structures (Computer science) Computer science—Mathematics Mathematical Logic and Formal Languages Logics and Meanings of Programs Theory of Computation Data Structures and Information Theory Mathematics of Computing Models and Principles |
| Soggetto genere / forma |
Dresden (2008)
Kongress. |
| ISBN | 3-642-02734-2 |
| Classificazione |
DAT 540f
DAT 709f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Easy Yet Hard: Model Checking Strategies of Agents -- Programming Multi-agent Systems -- Regular Papers -- Verifying Agents’ Conformance with Multiparty Protocols -- Run-Time Semantics of a Language for Programming Social Processes -- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic -- Bounded-Resource Reasoning as (Strong or Classical) Planning -- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems -- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall -- Contracts Violation: Justification via Argumentation -- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. |
| Record Nr. | UNISA-996465732403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Executable Modal and Temporal Logics [[electronic resource] ] : IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings / / edited by Michael Fisher, Richard Owens
| Executable Modal and Temporal Logics [[electronic resource] ] : IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings / / edited by Michael Fisher, Richard Owens |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (VIII, 188 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Artificial Intelligence Mathematical Logic and Foundations Programming Techniques Mathematical Logic and Formal Languages |
| ISBN | 3-540-49168-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An introduction to executable modal and temporal logics -- Temporal logic programming with metric and past operators -- A combination of clausal and non clausal temporal logic programs -- Temporal logic and annotated constraint logic programming -- Efficiently executable temporal logic programs -- Towards a semantics for concurrent MetateM -- Constraint deduction in an interval-based temporal logic -- Towards first-order concurrent MetateM -- Solving air-traffic problems with “possible worlds” -- Investigations into the application of deontic logic. |
| Record Nr. | UNISA-996466104603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations and Applications of Multi-Agent Systems [[electronic resource] ] : UKMAS Workshop 1996-2000, Selected Papers / / edited by Mark d'Inverno, Michael Luck, Michael Fisher, Christ Preist
| Foundations and Applications of Multi-Agent Systems [[electronic resource] ] : UKMAS Workshop 1996-2000, Selected Papers / / edited by Mark d'Inverno, Michael Luck, Michael Fisher, Christ Preist |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 266 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Artificial Intelligence Computer Communication Networks |
| ISBN | 3-540-45634-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Coordinating Intelligent Agents -- Strategies for Discovering Coordination Needs in MultiAgent Systems -- Agent-Mediated Interaction. From Auctions to Negotiation and Argumentation -- Game Theory and Artificial Intelligence -- Rights for Multi-agent Systems -- Infrastructure Support for Agent-Based Development -- An Anthropological Approach to the Discovery of Ontologies in Multi-agent Societies -- Scalability in Multi-agent Systems: The FIPA-OS Perspective -- Agents and MAS in STaMs -- Semantics of Agent Communication: An Introduction -- Agents with Bounded Temporal Resources -- A Model of Delegation for Multi-agent Systems -- Agent Specification Using Multi-context Systems -- An Adaptive Choice of Messaging Protocol in Multi Agent Systems -- On Partially Observable MDPs and BDI Models. |
| Record Nr. | UNISA-996466359103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations and Applications of Multi-Agent Systems : UKMAS Workshop 1996-2000, Selected Papers / / edited by Mark d'Inverno, Michael Luck, Michael Fisher, Christ Preist
| Foundations and Applications of Multi-Agent Systems : UKMAS Workshop 1996-2000, Selected Papers / / edited by Mark d'Inverno, Michael Luck, Michael Fisher, Christ Preist |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 266 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Artificial Intelligence Computer Communication Networks |
| ISBN | 3-540-45634-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Coordinating Intelligent Agents -- Strategies for Discovering Coordination Needs in MultiAgent Systems -- Agent-Mediated Interaction. From Auctions to Negotiation and Argumentation -- Game Theory and Artificial Intelligence -- Rights for Multi-agent Systems -- Infrastructure Support for Agent-Based Development -- An Anthropological Approach to the Discovery of Ontologies in Multi-agent Societies -- Scalability in Multi-agent Systems: The FIPA-OS Perspective -- Agents and MAS in STaMs -- Semantics of Agent Communication: An Introduction -- Agents with Bounded Temporal Resources -- A Model of Delegation for Multi-agent Systems -- Agent Specification Using Multi-context Systems -- An Adaptive Choice of Messaging Protocol in Multi Agent Systems -- On Partially Observable MDPs and BDI Models. |
| Record Nr. | UNINA-9910143881403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logics in Artificial Intelligence [[electronic resource] ] : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings / / edited by Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa
| Logics in Artificial Intelligence [[electronic resource] ] : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings / / edited by Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 520 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Mathematical logic Artificial Intelligence Programming Techniques Mathematical Logic and Formal Languages |
| Soggetto non controllato | JELIA |
| ISBN | 3-540-39627-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- From Inductive Logic Programming to Relational Data Mining -- Answer Set Programming: A Declarative Approach to Solving Search Problems -- Inconsistencies in Ontologies -- Technical Papers -- On Arbitrary Selection Strategies for Basic Superposition -- An Event-Condition-Action Logic Programming Language -- Distance-Based Repairs of Databases -- Natural Deduction Calculus for Linear-Time Temporal Logic -- A STIT-Extension of ATL -- On the Logic and Computation of Partial Equilibrium Models -- Decidable Fragments of Logic Programming with Value Invention -- On the Issue of Reinstatement in Argumentation -- Comparing Action Descriptions Based on Semantic Preferences -- Modal Logics of Negotiation and Preference -- Representing Action Domains with Numeric-Valued Fluents -- Model Representation over Finite and Infinite Signatures -- Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies -- Analytic Tableau Calculi for KLM Rational Logic R -- On the Semantics of Logic Programs with Preferences -- A Modularity Approach for a Fragment of -- Whatever You Say -- Automatic Deductive Synthesis of Lisp Programs in the System ALISA -- A Fault-Tolerant Default Logic -- Reasoning About Actions Using Description Logics with General TBoxes -- Introducing Attempt in a Modal Logic of Intentional Action -- On Herbrand’s Theorem for Intuitionistic Logic -- Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics -- Hierarchical Argumentation -- Anti-prenexing and Prenexing for Modal Logics -- A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic -- Fuzzy Answer Set Programming -- Reasoning About an Agent Based on Its Revision History with Missing Inputs -- Knowledge Base Revision in Description Logics -- Incomplete Knowledge in Hybrid Probabilistic Logic Programs -- A Formal Analysis of KGP Agents -- Irrelevant Updates and Nonmonotonic Assumptions -- Towards Top-k Query Answering in Description Logics: The Case of DL-Lite -- Representing Causal Information About a Probabilistic Process -- Tool Descriptions -- A Tool to Facilitate Agent Deliberation -- An Implementation of a Lightweight Argumentation Engine for Agent Applications -- A Tool for Answering Queries on Action Descriptions -- An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs -- April – An Inductive Logic Programming System -- optsat: A Tool for Solving SAT Related Optimization Problems -- Automated Reasoning About Metric and Topology -- The QBFEVAL Web Portal -- A Slicing Tool for Lazy Functional Logic Programs -- cc?: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics -- A Logic-Based Tool for Semantic Information Extraction -- tarfa: Tableaux and Resolution for Finite Abduction. |
| Record Nr. | UNISA-996466129703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Upgrade your curriculum [[electronic resource] ] : practical ways to transform units and engage students / / Janet A. Hale, Michael Fisher ; foreword by Heidi Hayes Jacobs
| Upgrade your curriculum [[electronic resource] ] : practical ways to transform units and engage students / / Janet A. Hale, Michael Fisher ; foreword by Heidi Hayes Jacobs |
| Autore | Hale Janet A |
| Pubbl/distr/stampa | Alexandria, Va., : ASCD, c2013 |
| Descrizione fisica | 1 online resource (190 p.) |
| Disciplina | 375/.001 |
| Altri autori (Persone) |
FisherMichael
JacobsHeidi Hayes |
| Soggetto topico |
Education - Curricula - United States
Curriculum change - United States Curriculum planning - United States |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4166-1566-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Transforming the curriculum -- pt. 2. Transformational snapshots -- pt. 3. Transformational reflections. |
| Record Nr. | UNINA-9910462910603321 |
Hale Janet A
|
||
| Alexandria, Va., : ASCD, c2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||