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] ] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings / / edited by Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella, Leon van der Torre
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings / / edited by Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella, Leon van der Torre |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XV, 383 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer logic Mathematical logic Computer communication systems Programming languages (Electronic computers) Artificial Intelligence Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Computer Communication Networks Programming Languages, Compilers, Interpreters |
| ISBN | 3-642-22359-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466262103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings / / edited by Jürgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings / / edited by Jürgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 257 p. 42 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer logic Mathematical logic Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-642-14977-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Is Computational Complexity a Barrier to Manipulation? -- Games, Norms and Strategic Notions in Information Flow Security -- Group Announcements: Logic and Games (Abstract of Invited Talk) -- Strong Equivalence in Argumentation -- Regular Papers -- Hypergraphs of Multiparty Secrets -- Combining Logics in Simple Type Theory -- Speculative Abductive Reasoning for Hierarchical Agent Systems -- Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of ?-Calculus Processes -- What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior -- Verifying Business Process Compliance by Reasoning about Actions -- From Organisation Specification to Normative Programming in Multi-Agent Organisations -- Finding Uniform Strategies for Multi-agent Systems -- Playing Extensive Form Games in Parallel -- Exploring the Boundary of Half Positionality -- Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets -- An Agent Language with Destructive Assignment and Model-Theoretic Semantics -- Model Checking Agent Programs by Using the Program Interpreter -- A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. |
| Record Nr. | UNISA-996466280103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Declarative Agent Languages and Technologies [[electronic resource] ] : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / / edited by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
| Declarative Agent Languages and Technologies [[electronic resource] ] : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / / edited by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 272 p.) |
| Disciplina | 005.2 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Artificial Intelligence Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30774-9
9786610307746 3-540-25932-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | MAS as Complex Systems: A View on the Role of Declarative Approaches -- A Logic-Based Infrastructure for Reconfiguring Applications -- Operational Semantics for Agents by Iterated Refinement -- Go! for Multi-threaded Deliberative Agents -- An Agent-Based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology -- A Logic for Ignorance -- Coo-BDI: Extending the BDI Model with Cooperativity -- Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication -- A Combined Logic of Expectation and Observation -- A Proposal for Reasoning in Agents: Restricted Entailment -- A Social Approach to Communication in Multiagent Systems -- Logic-Based Electronic Institutions -- Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study -- Linear Logic, Partial Deduction and Cooperative Problem Solving. |
| Record Nr. | UNISA-996466234103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / / edited by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
| Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / / edited by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 272 p.) |
| Disciplina | 005.2 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Computer networks Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Artificial Intelligence Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30774-9
9786610307746 3-540-25932-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | MAS as Complex Systems: A View on the Role of Declarative Approaches -- A Logic-Based Infrastructure for Reconfiguring Applications -- Operational Semantics for Agents by Iterated Refinement -- Go! for Multi-threaded Deliberative Agents -- An Agent-Based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology -- A Logic for Ignorance -- Coo-BDI: Extending the BDI Model with Cooperativity -- Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication -- A Combined Logic of Expectation and Observation -- A Proposal for Reasoning in Agents: Restricted Entailment -- A Social Approach to Communication in Multiagent Systems -- Logic-Based Electronic Institutions -- Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study -- Linear Logic, Partial Deduction and Cooperative Problem Solving. |
| Record Nr. | UNINA-9910144168903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Languages, Methodologies, and Development Tools for Multi-Agent Systems [[electronic resource] ] : Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers / / edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Jomi Hübner, Joao Leite
| Languages, Methodologies, and Development Tools for Multi-Agent Systems [[electronic resource] ] : Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers / / edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Jomi Hübner, Joao Leite |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (IX, 153 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer simulation Computers Application software Computer programming Computer logic Artificial Intelligence Simulation and Modeling Models and Principles Information Systems Applications (incl. Internet) Programming Techniques Logics and Meanings of Programs |
| ISBN | 3-642-22723-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466066703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Languages, Methodologies, and Development Tools for Multi-Agent Systems [[electronic resource] ] : Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers / / edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Joao Leite, Paolo Torroni
| Languages, Methodologies, and Development Tools for Multi-Agent Systems [[electronic resource] ] : Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers / / edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Joao Leite, Paolo Torroni |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 183 p. 40 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Immunology
Artificial intelligence Computer programming Computer simulation Computers Application software Artificial Intelligence Programming Techniques Simulation and Modeling Models and Principles Information Systems Applications (incl. Internet) |
| ISBN |
1-280-38682-7
9786613564740 3-642-13338-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Architectures -- The ARTS Real-Time Agent Architecture -- Reducing Agent Plans to Workflows -- Agent Programming Languages and Methodologies -- Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming -- Temporal Planning in Dynamic Environments for P-CLAIM Agents -- Data Driven Language for Agents Secure Interaction -- Programming Social Middleware through Social Interaction Types -- Social Interaction Models -- Detecting Exceptions in Commitment Protocols: Discovering Hidden States -- Verifiable Semantic Model for Agent Interactions Using Social Commitments -- Development Tools for Multi-agent Systems -- Call Graph Profiling for Multi Agent Systems -- Applications -- A Methodology for Developing Self-explaining Agents for Virtual Training. |
| Record Nr. | UNISA-996465618003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logics in Artificial Intelligence [[electronic resource] ] : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings / / edited by Eduardo Fermé, Joao Leite
| Logics in Artificial Intelligence [[electronic resource] ] : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings / / edited by Eduardo Fermé, Joao Leite |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 704 p. 88 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Computer programming Information storage and retrieval Database management Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Information Storage and Retrieval Database Management |
| ISBN | 3-319-11558-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Query Answering over Description Logic Ontologies -- Tools for the Investigation of Substructural and Paraconsistent Logics -- Non-classical Planning with a Classical Planner: The Power of Transformations -- Opportunities for Argument-Centric Persuasion in Behaviour Change -- The Fuzzy Description Logic G-FL0 with Greatest Fixed-Point Semantics -- Tight Complexity Bounds for Reasoning in the Description Logic BEL -- Relevant Closure: A New Form of Defeasible Reasoning for Description Logics -- Error-Tolerant Reasoning in the Description Logic EL -- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations -- SAT Modulo Graphs: Acyclicity -- Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations of Possibilistic Keys -- Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information -- LEG Networks for Ranking Functions -- Logics for Approximating Implication Problems of Saturated Conditional Independence -- Non-Classical Logics Finitary S5-Theories -- Efficient Program Transformers for Translating LCC to PDL -- On the Expressiveness of the Interval Logic of Allen’s Relations over Finite and Discrete Linear Orders -- Only-Knowing a la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report -- Answer-Set Programming A Complexity Assessment for Queries Involving Sufficient and Necessary Causes -- Inductive Learning of Answer Set Programs -- Stable Models of Fuzzy Propositional Formulas -- A Free Logic for Stable Models with Partial Intensional Functions -- Constructive Models for Contraction with Intransitive Plausibility Indifference -- Four Floors for the Theory of Theory Change: The Case of Imperfect Discrimination -- Revisiting Postulates for Inconsistency Measures -- A Translation-Based Approach for Revision of Argumentation Frameworks -- Dealing with Inconsistency in ASP and DL Preserving Strong Equivalence while Forgetting -- Computing Repairs for Inconsistent DL-programs over EL Ontologies -- A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases -- Modular Paracoherent Answer Sets -- Action Theories over Generalized Databases with Equality Constraints -- A Dynamic View of Active Integrity Constraints -- Similarity Orders from Causal Equations -- Verification of Context-Sensitive Knowledge and Action Bases -- System Descriptions System aspmt2smt: Computing ASPMT Theories by SMT Solvers -- A Library of Anti-unification Algorithms -- The D-FLAT System for Dynamic Programming on Tree Decompositions -- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance -- Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search -- Short Papers -- Probabilistic Abstract Dialectical Frameworks -- Argumentative Aggregation of Individual Opinions -- Measuring Dissimilarity between Judgment Sets -- Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario -- Reasoning about Dynamic Normative Systems -- A Modal Logic of Knowledge, Belief, and Estimation -- A Logic for Belief Contraction -- Logic Foundations of the OCL Modelling Language -- Constraint-Based Algorithm for Computing Temporal Invariants -- Answer Set Solver Backdoors -- Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem -- Revisiting Reductants in the Multi-adjoint Logic Programming Framework. |
| Record Nr. | UNISA-996199683003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logics in Artificial Intelligence : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings / / edited by Eduardo Fermé, Joao Leite
| Logics in Artificial Intelligence : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings / / edited by Eduardo Fermé, Joao Leite |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 704 p. 88 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Computer programming Information storage and retrieval Database management Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Information Storage and Retrieval Database Management |
| ISBN | 3-319-11558-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Query Answering over Description Logic Ontologies -- Tools for the Investigation of Substructural and Paraconsistent Logics -- Non-classical Planning with a Classical Planner: The Power of Transformations -- Opportunities for Argument-Centric Persuasion in Behaviour Change -- The Fuzzy Description Logic G-FL0 with Greatest Fixed-Point Semantics -- Tight Complexity Bounds for Reasoning in the Description Logic BEL -- Relevant Closure: A New Form of Defeasible Reasoning for Description Logics -- Error-Tolerant Reasoning in the Description Logic EL -- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations -- SAT Modulo Graphs: Acyclicity -- Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations of Possibilistic Keys -- Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information -- LEG Networks for Ranking Functions -- Logics for Approximating Implication Problems of Saturated Conditional Independence -- Non-Classical Logics Finitary S5-Theories -- Efficient Program Transformers for Translating LCC to PDL -- On the Expressiveness of the Interval Logic of Allen’s Relations over Finite and Discrete Linear Orders -- Only-Knowing a la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report -- Answer-Set Programming A Complexity Assessment for Queries Involving Sufficient and Necessary Causes -- Inductive Learning of Answer Set Programs -- Stable Models of Fuzzy Propositional Formulas -- A Free Logic for Stable Models with Partial Intensional Functions -- Constructive Models for Contraction with Intransitive Plausibility Indifference -- Four Floors for the Theory of Theory Change: The Case of Imperfect Discrimination -- Revisiting Postulates for Inconsistency Measures -- A Translation-Based Approach for Revision of Argumentation Frameworks -- Dealing with Inconsistency in ASP and DL Preserving Strong Equivalence while Forgetting -- Computing Repairs for Inconsistent DL-programs over EL Ontologies -- A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases -- Modular Paracoherent Answer Sets -- Action Theories over Generalized Databases with Equality Constraints -- A Dynamic View of Active Integrity Constraints -- Similarity Orders from Causal Equations -- Verification of Context-Sensitive Knowledge and Action Bases -- System Descriptions System aspmt2smt: Computing ASPMT Theories by SMT Solvers -- A Library of Anti-unification Algorithms -- The D-FLAT System for Dynamic Programming on Tree Decompositions -- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance -- Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search -- Short Papers -- Probabilistic Abstract Dialectical Frameworks -- Argumentative Aggregation of Individual Opinions -- Measuring Dissimilarity between Judgment Sets -- Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario -- Reasoning about Dynamic Normative Systems -- A Modal Logic of Knowledge, Belief, and Estimation -- A Logic for Belief Contraction -- Logic Foundations of the OCL Modelling Language -- Constraint-Based Algorithm for Computing Temporal Invariants -- Answer Set Solver Backdoors -- Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem -- Revisiting Reductants in the Multi-adjoint Logic Programming Framework. |
| Record Nr. | UNINA-9910484135003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logics in Artificial Intelligence [[electronic resource] ] : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings / / edited by Jose, Julio Alferes, Joao Leite
| Logics in Artificial Intelligence [[electronic resource] ] : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings / / edited by Jose, Julio Alferes, Joao Leite |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XIV, 746 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 |
| ISBN | 3-540-30227-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Representing and Reasoning with Preferences -- Engineering of Logics for the Content-Based Representation of Information -- Formal Methods in Robotics -- Multi-agent Systems -- Games for Cognitive Agents -- Knowledge-Theoretic Properties of Strategic Voting -- The CIFF Proof Procedure for Abductive Logic Programming with Constraints -- Hierarchical Decision Making by Autonomous Agents -- Verifying Communicating Agents by Model Checking in a Temporal Action Logic -- Qualitative Action Theory -- Practical Reasoning for Uncertain Agents -- Modelling Communicating Agents in Timed Reasoning Logics -- Logic Programming and Nonmonotonic Reasoning -- On the Relation Between ID-Logic and Answer Set Programming -- An Implementation of Statistical Default Logic -- Capturing Parallel Circumscription with Disjunctive Logic Programs -- Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning -- Characterizations for Relativized Notions of Equivalence in Answer Set Programming -- Equivalence of Logic Programs Under Updates -- Cardinality Constraint Programs -- Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity -- Reasoning Under Uncertainty -- A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach -- A Logic with Conditional Probabilities -- Reasoning About Quantum Systems -- Sorted Multi-adjoint Logic Programs: Termination Results and Applications -- Logic Programming -- The Modal Logic Programming System MProlog -- Soundness and Completeness of an “Efficient” Negation for Prolog -- Logic Programs with Functions and Default Values -- Actions and Causation -- Parallel Encodings of Classical Planning as Satisfiability -- Relational Markov Games -- On the Logic of ‘Being Motivated to Achieve ?, Before ?’ -- Complexity Issues -- Representation and Complexity in Boolean Games -- Complexity in Value-Based Argument Systems -- A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment -- Description Logics -- Transforming Fuzzy Description Logics into Classical Description Logics -- Computing the Least Common Subsumer w.r.t. a Background Terminology -- Explaining Subsumption by Optimal Interpolation -- Belief Revision -- Two Approaches to Merging Knowledge Bases -- An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment -- Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach -- On Sceptical Versus Credulous Acceptance for Abstract Argument Systems -- Modal, Spacial, and Temporal Logics -- Line-Based Affine Reasoning in Euclidean Plane -- Measure Logics for Spatial Reasoning -- Only Knowing with Confidence Levels: Reductions and Complexity -- Time Granularities and Ultimately Periodic Automata -- Theorem Proving -- Polynomial Approximations of Full Propositional Logic via Limited Bivalence -- Some Techniques for Branch-Saturation in Free-Variable Tableaux -- Semantic Knowledge Partitioning -- Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs -- Applications -- Discovering Anomalies in Evidential Knowledge by Logic Programming -- Logic Programming Infrastructure for Inferences on FrameNet -- An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS -- Automatic Compilation of Protocol Insecurity Problems into Logic Programming -- Exploiting Functional Dependencies in Declarative Problem Specifications -- Combining Decision Procedures for Sorted Theories -- Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving -- Towards a Logical Analysis of Biochemical Pathways -- Systems Session -- Abductive Logic Programming with CIFF: System Description -- The DALI Logic Programming Agent-Oriented Language -- Qsmodels: ASP Planning in Interactive Gaming Environment -- A System with Template Answer Set Programs -- New DLV Features for Data Integration -- Profiling Answer Set Programming: The Visualization Component of the noMoRe System -- The PLP System -- The MyYapDB Deductive Database System -- InterProlog: Towards a Declarative Embedding of Logic Programming in Java -- IndLog — Induction in Logic -- OLEX – A Reasoning-Based Text Classifier -- Verdi: An Automated Tool for Web Sites Verification -- SATMC: A SAT-Based Model Checker for Security Protocols -- tabeql: A Tableau Based Suite for Equilibrium Logic -- tascpl: TAS Solver for Classical Propositional Logic. |
| Record Nr. | UNISA-996465335603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings / / edited by Jose, Julio Alferes, Joao Leite
| Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings / / edited by Jose, Julio Alferes, Joao Leite |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XIV, 746 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 |
| ISBN | 3-540-30227-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Representing and Reasoning with Preferences -- Engineering of Logics for the Content-Based Representation of Information -- Formal Methods in Robotics -- Multi-agent Systems -- Games for Cognitive Agents -- Knowledge-Theoretic Properties of Strategic Voting -- The CIFF Proof Procedure for Abductive Logic Programming with Constraints -- Hierarchical Decision Making by Autonomous Agents -- Verifying Communicating Agents by Model Checking in a Temporal Action Logic -- Qualitative Action Theory -- Practical Reasoning for Uncertain Agents -- Modelling Communicating Agents in Timed Reasoning Logics -- Logic Programming and Nonmonotonic Reasoning -- On the Relation Between ID-Logic and Answer Set Programming -- An Implementation of Statistical Default Logic -- Capturing Parallel Circumscription with Disjunctive Logic Programs -- Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning -- Characterizations for Relativized Notions of Equivalence in Answer Set Programming -- Equivalence of Logic Programs Under Updates -- Cardinality Constraint Programs -- Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity -- Reasoning Under Uncertainty -- A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach -- A Logic with Conditional Probabilities -- Reasoning About Quantum Systems -- Sorted Multi-adjoint Logic Programs: Termination Results and Applications -- Logic Programming -- The Modal Logic Programming System MProlog -- Soundness and Completeness of an “Efficient” Negation for Prolog -- Logic Programs with Functions and Default Values -- Actions and Causation -- Parallel Encodings of Classical Planning as Satisfiability -- Relational Markov Games -- On the Logic of ‘Being Motivated to Achieve ?, Before ?’ -- Complexity Issues -- Representation and Complexity in Boolean Games -- Complexity in Value-Based Argument Systems -- A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment -- Description Logics -- Transforming Fuzzy Description Logics into Classical Description Logics -- Computing the Least Common Subsumer w.r.t. a Background Terminology -- Explaining Subsumption by Optimal Interpolation -- Belief Revision -- Two Approaches to Merging Knowledge Bases -- An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment -- Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach -- On Sceptical Versus Credulous Acceptance for Abstract Argument Systems -- Modal, Spacial, and Temporal Logics -- Line-Based Affine Reasoning in Euclidean Plane -- Measure Logics for Spatial Reasoning -- Only Knowing with Confidence Levels: Reductions and Complexity -- Time Granularities and Ultimately Periodic Automata -- Theorem Proving -- Polynomial Approximations of Full Propositional Logic via Limited Bivalence -- Some Techniques for Branch-Saturation in Free-Variable Tableaux -- Semantic Knowledge Partitioning -- Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs -- Applications -- Discovering Anomalies in Evidential Knowledge by Logic Programming -- Logic Programming Infrastructure for Inferences on FrameNet -- An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS -- Automatic Compilation of Protocol Insecurity Problems into Logic Programming -- Exploiting Functional Dependencies in Declarative Problem Specifications -- Combining Decision Procedures for Sorted Theories -- Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving -- Towards a Logical Analysis of Biochemical Pathways -- Systems Session -- Abductive Logic Programming with CIFF: System Description -- The DALI Logic Programming Agent-Oriented Language -- Qsmodels: ASP Planning in Interactive Gaming Environment -- A System with Template Answer Set Programs -- New DLV Features for Data Integration -- Profiling Answer Set Programming: The Visualization Component of the noMoRe System -- The PLP System -- The MyYapDB Deductive Database System -- InterProlog: Towards a Declarative Embedding of Logic Programming in Java -- IndLog — Induction in Logic -- OLEX – A Reasoning-Based Text Classifier -- Verdi: An Automated Tool for Web Sites Verification -- SATMC: A SAT-Based Model Checker for Security Protocols -- tabeql: A Tableau Based Suite for Equilibrium Logic -- tascpl: TAS Solver for Classical Propositional Logic. |
| Record Nr. | UNINA-9910144349703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||