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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|