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.
Logic and the Foundations of Game and Decision Theory - LOFT 8 [[electronic resource] ] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers / / edited by Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek
| Logic and the Foundations of Game and Decision Theory - LOFT 8 [[electronic resource] ] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers / / edited by Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XI, 207 p. 35 illus.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computers Mathematical logic Computer logic Computer science—Mathematics Programming Languages, Compilers, Interpreters Programming Techniques Theory of Computation Mathematical Logic and Formal Languages Logics and Meanings of Programs Discrete Mathematics in Computer Science |
| ISBN |
1-280-38836-6
9786613566287 3-642-15164-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Infinite Coordination Games -- Conditioning by Minimizing Accessibility -- Correspondences in the Theory of Aggregation -- Logic and Data Exchange: Which Solutions Are “Good” Solutions? -- Preference Change Triggered by Belief Change: A Principled Approach -- A Runs-and-Systems Semantics for Logics of Announcements -- From Nash to Dependency Equilibria -- Bridges between Dynamic Doxastic and Doxastic Temporal Logics -- Multi-agent Belief Revision with Linked Preferences -- A Note on Assumption-Completeness in Modal Logic. |
| Record Nr. | UNISA-996466571603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Rationality, and Interaction [[electronic resource] ] : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang
| Logic, Rationality, and Interaction [[electronic resource] ] : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XI, 439 p. 31 illus. in color.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Mathematical logic Computer science—Mathematics Discrete mathematics Computer science Formal Languages and Automata Theory Mathematical Logic and Foundations Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Computer Science Logic and Foundations of Programming |
| ISBN | 3-662-48561-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sabotage Modal Logic: Some Model and Proof Theoretic Aspects -- Game Theoretical Semantics for Paraconsistent Logics -- Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention -- Learning Actions Models: Qualitative Approach -- Great Expectations -- Probabilistic Epistemic Updates on Algebras -- An Abstract Algebraic Logic View on Judgment Aggregation -- Context-dependent Utilities: A Solution to the Problem of Constant Acts in Savage -- Graph-Based Belief Merging -- Human strategic reasoning in dynamic games: Experiments, logics, cognitive models -- A note on reliability-based preference dynamics -- Informational Dynamics of `Might' Assertions -- A poor man's epistemic logic based on propositional assignment and higher-order observation -- Trace Semantics for IPDL -- A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning -- Introspection, normality and agglomeration -- On the Expressivity of First-Order Modal Logic with \Actually" -- Causal Models and the Ambiguity of Counterfactuals -- Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles -- Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs -- Algebraic Semantics for Dynamic Dynamic Logic -- Logic and Ethics. An Integrated Model for Norms, Intentions and Actions -- A General Framework for Modal Correspondence in Dynamic Epistemic Logic -- Intuitionistic Epistemology and Modal Logics of Verification -- An argument for Permissivism from safespots -- Model Transformers for Dynamical Systems of Dynamic Epistemic Logic -- `Transitivity' of consequence relations -- Boolean Game with Prioritized Norms -- Boolean Network Games and Iterated Boolean Games -- Symbolic Model Checking for Dynamic Epistemic Logic -- Three-Valued Plurivaluationism of Vague Predicates -- A logic of knowing how -- A Dynamic Epistemic Logic with a Knowability Principle -- Reflective Oracles: A Foundation for Game Theory in Artificial Intelligence -- Infinite Ordinals and Finite Improvement -- Solving the Hi-Lo Puzzle -- Epistemic Updates on algebras -- On the Complexity of Input/Output Logic -- Translating a Counterpart Theory into a Quantified Modal Language with Descriptors. |
| Record Nr. | UNISA-996466180603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang
| Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XI, 439 p. 31 illus. in color.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Mathematical logic Computer science—Mathematics Discrete mathematics Computer science Formal Languages and Automata Theory Mathematical Logic and Foundations Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Computer Science Logic and Foundations of Programming |
| ISBN | 3-662-48561-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sabotage Modal Logic: Some Model and Proof Theoretic Aspects -- Game Theoretical Semantics for Paraconsistent Logics -- Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention -- Learning Actions Models: Qualitative Approach -- Great Expectations -- Probabilistic Epistemic Updates on Algebras -- An Abstract Algebraic Logic View on Judgment Aggregation -- Context-dependent Utilities: A Solution to the Problem of Constant Acts in Savage -- Graph-Based Belief Merging -- Human strategic reasoning in dynamic games: Experiments, logics, cognitive models -- A note on reliability-based preference dynamics -- Informational Dynamics of `Might' Assertions -- A poor man's epistemic logic based on propositional assignment and higher-order observation -- Trace Semantics for IPDL -- A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning -- Introspection, normality and agglomeration -- On the Expressivity of First-Order Modal Logic with \Actually" -- Causal Models and the Ambiguity of Counterfactuals -- Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles -- Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs -- Algebraic Semantics for Dynamic Dynamic Logic -- Logic and Ethics. An Integrated Model for Norms, Intentions and Actions -- A General Framework for Modal Correspondence in Dynamic Epistemic Logic -- Intuitionistic Epistemology and Modal Logics of Verification -- An argument for Permissivism from safespots -- Model Transformers for Dynamical Systems of Dynamic Epistemic Logic -- `Transitivity' of consequence relations -- Boolean Game with Prioritized Norms -- Boolean Network Games and Iterated Boolean Games -- Symbolic Model Checking for Dynamic Epistemic Logic -- Three-Valued Plurivaluationism of Vague Predicates -- A logic of knowing how -- A Dynamic Epistemic Logic with a Knowability Principle -- Reflective Oracles: A Foundation for Game Theory in Artificial Intelligence -- Infinite Ordinals and Finite Improvement -- Solving the Hi-Lo Puzzle -- Epistemic Updates on algebras -- On the Complexity of Input/Output Logic -- Translating a Counterpart Theory into a Quantified Modal Language with Descriptors. |
| Record Nr. | UNINA-9910484598403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| 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 | ||
| ||
Multiagent System Technologies [[electronic resource] ] : 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings / / edited by Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr
| Multiagent System Technologies [[electronic resource] ] : 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings / / edited by Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIII, 290 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computers Computer programming Computer simulation Computer organization Artificial Intelligence Software Engineering Computation by Abstract Devices Programming Techniques Simulation and Modeling Computer Systems Organization and Communication Networks |
| Soggetto genere / forma |
Hamburg (2009)
Kongress. |
| ISBN | 3-642-04143-4 |
| Classificazione |
DAT 709f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Industrial Application of Agent Systems: Lessons Learned and Future Challenges -- Full Papers -- Multi-Agent Navigation Using Path-Based Vector Fields -- Verification of Epistemic Properties in Probabilistic Multi-Agent Systems -- GOAL as a Planning Formalism -- Towards Pattern-Oriented Design of Agent-Based Simulation Models -- Multi Criteria Decision Methods for Coordinating Case-Based Agents -- Agent Cooperation for Monitoring and Diagnosing a MAP -- Strategies for Exploiting Trust Models in Competitive Multi-Agent Systems -- A Distributed Detecting Method for SYN Flood Attacks and Its Implementation Using Mobile Agents -- Agent-Based Model for Decision Support in Multi-Site Manufacturing Enterprises -- Embodied Organisations in MAS Environments -- MACSIMA: On the Effects of Adaptive Negotiation Behavior in Agent-Based Supply Networks -- Towards Reactive Scheduling for Large-Scale Virtual Power Plants -- Concurrently Decomposable Constraint Systems -- SMIZE: A Spontaneous Ride-Sharing System for Individual Urban Transit -- Short Papers -- Towards a Verification Framework for Communicating Rational Agents -- Designing Organized Multiagent Systems through MDPs -- A Reference Architecture for Modelling of Emotional Agent Systems -- Towards a Taxonomy of Decision Making Problems in Multi-Agent Systems -- Modeling Tools for Platform Specific Design of Multi-Agent Systems -- L2-SVM Training with Distributed Data -- Framework for Dynamic Life Critical Situations Using Agents -- Unifying JIAC Agent Development with AWE -- Formalizing ARTIS Agent Model Using RT-Maude -- Implementing Over-Sensing in Heterogeneous Multi-Agent Systems on Top of Artifact-Based Environments -- Exhibition Papers -- Requirements and Tools for the Debugging of Multi-Agent Systems -- SONAR*: A Multi-Agent Infrastructure for Active Application Architectures and Inter-organisational Information Systems -- An Architecture for Simulating Internet-of-Services Economies -- Applying JIAC V to Real World Problems: The MAMS Case -- Agent-Based Semantic Search at motoso.de. |
| Record Nr. | UNISA-996465336403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||