Logics in Artificial Intelligence (eBook, PDF)
European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings
Redaktion: Flesca, Sergio; Ianni, Giovambattista
Schade – dieser Artikel ist leider ausverkauft. Sobald wir wissen, ob und wann der Artikel wieder verfügbar ist, informieren wir Sie an dieser Stelle.
Logics in Artificial Intelligence (eBook, PDF)
European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings
Redaktion: Flesca, Sergio; Ianni, Giovambattista
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei
bücher.de, um das eBook-Abo tolino select nutzen zu können.
Hier können Sie sich einloggen
Hier können Sie sich einloggen
Sie sind bereits eingeloggt. Klicken Sie auf 2. tolino select Abo, um fortzufahren.
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
This book constitutes the refereed proceedings of the European Conference on Logics in Artificial Intelligence, JELIA 2002, held in Cosenza, Italy in September 2002.The 41 revised full papers presented together with 11 system descriptions and 3 invited contributions were carefuly reviewed and selected from more than 100 submissions. The papers are organized in topical sections on multi-agent systems, evolution and changes, description logic and the semantic web, complexity issues, probabilistic logic, AI planning, modal logic and causal reasoning, theory, reasoning under uncertainty,…mehr
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 8.04MB
This book constitutes the refereed proceedings of the European Conference on Logics in Artificial Intelligence, JELIA 2002, held in Cosenza, Italy in September 2002.The 41 revised full papers presented together with 11 system descriptions and 3 invited contributions were carefuly reviewed and selected from more than 100 submissions. The papers are organized in topical sections on multi-agent systems, evolution and changes, description logic and the semantic web, complexity issues, probabilistic logic, AI planning, modal logic and causal reasoning, theory, reasoning under uncertainty, satisfiability, paraconsisten reasoning, actions and caution, logic for agents, semantics, and optimization issues in answer set semantics.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Produktdetails
- Produktdetails
- Verlag: Springer Berlin Heidelberg
- Seitenzahl: 567
- Erscheinungstermin: 6. August 2003
- Englisch
- ISBN-13: 9783540457572
- Artikelnr.: 53197756
- Verlag: Springer Berlin Heidelberg
- Seitenzahl: 567
- Erscheinungstermin: 6. August 2003
- Englisch
- ISBN-13: 9783540457572
- Artikelnr.: 53197756
Sergio Flesca, University of Calabria, Rende, Italy / Giovambattista Ianni, University of Calabria, Rende, Italy
Multi-agent Systems.- A Logic Programming Language for Multi-agent Systems.- A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.- An Argumentation Framework for Merging Conflicting Knowledge Bases.- Multi-agent Logics of Dynamic Belief and Knowledge.- Evolution and Changes.- Evolving Logic Programs.- A Compilation of Updates plus Preferences.- Description Logic and Semantic Web.- Towards Service Description Logics.- P- (D): A Probabilistic Extension of (D) for Probabilistic Ontologies in the Semantic Web.- A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries.- Complexity Issues.- Polynomial-Length Planning Spans the Polynomial Hierarchy.- Complexity of Multi-agent Systems Behavior.- Complexity and Algorithms for the Matching of Bag and Set Terms.- Probabilistic Logic.- Non-commutativity and Expressive Deductive Logic Databases.- Using Institutions for the Study of Qualitative and Quantitative Conditional Logics.- Planning.- Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment.- Answer Set Planning under Action Costs.- Modal Logic and Causal Reasoning.- On Fibring Semantics for BDI Logics.- A Modal Formulation of McCain and Turner's Theory of Causal Reasoning.- Second-Order Quantifier Elimination in Modal Contexts.- Theory.- Interpolation Theorems for Nonmonotonic Reasoning Systems.- Minimal Answer Computation and SOL.- Decidability of Interval Temporal Logics over Split-Frames via Granularity.- Reasoning under Uncertainty.- Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases.- A Qualitative Reasoning with Nuanced Information.- Satisfiability.- Dependent and Independent Variables in Propositional Satisfiability.- A DPLL-Based Calculus for Ground SatisfiabilityModulo Theories.- Paraconsistent Reasoning.- Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.- Three-Valued Logics for Inconsistency Handling.- Paraconsistent Logic Programs.- Actions and Causation.- Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem.- Reasoning about Actions in Prioritized Default Theory.- Towards a Conditional Logic of Actions and Causation.- Logics for Agents.- Axiomatising Nash-Consistent Coalition Logic.- Representing Possibilities in Relation to Constraints and Agents.- An Abductive Logic Programming Architecture for Negotiating Agents.- Semantics.- Preferred Answer Sets for Ordered Logic Programs.- Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.- An Infinite-Valued Semantics for Logic Programs with Negation.- Optimization Issues in Answer Set Semantics.- More on noMoRe.- Answer Set Programming by Ant Colony Optimization.- Testing the Equivalence of Logic Programs under Stable Model Semantics.- System Session.- Argumentative Reasoning with ABEL.- COBA: A Consistency-Based Belief Revision System.- Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.- : Integrating Data Mining with Intelligent Query Answering.- NoMoRe: Non-monotonic Reasoning with Logic Programs.- Process Miner - A Tool for Mining Process Schemes from Event-Based Data.- SMILES: A Multi-purpose Learning System.- The aspps System.- The DLV System.- The DLVK Planning System: Progress Report.- Z-log: Applying System-Z.- Invited Talks.- Hypergraph Transversal Computation and Related Problems in Logic and AI.- Alternation.- The USA-Advisor: A Case Study in Answer Set Programming.
Multi-agent Systems.- A Logic Programming Language for Multi-agent Systems.- A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.- An Argumentation Framework for Merging Conflicting Knowledge Bases.- Multi-agent Logics of Dynamic Belief and Knowledge.- Evolution and Changes.- Evolving Logic Programs.- A Compilation of Updates plus Preferences.- Description Logic and Semantic Web.- Towards Service Description Logics.- P- (D): A Probabilistic Extension of (D) for Probabilistic Ontologies in the Semantic Web.- A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries.- Complexity Issues.- Polynomial-Length Planning Spans the Polynomial Hierarchy.- Complexity of Multi-agent Systems Behavior.- Complexity and Algorithms for the Matching of Bag and Set Terms.- Probabilistic Logic.- Non-commutativity and Expressive Deductive Logic Databases.- Using Institutions for the Study of Qualitative and Quantitative Conditional Logics.- Planning.- Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment.- Answer Set Planning under Action Costs.- Modal Logic and Causal Reasoning.- On Fibring Semantics for BDI Logics.- A Modal Formulation of McCain and Turner's Theory of Causal Reasoning.- Second-Order Quantifier Elimination in Modal Contexts.- Theory.- Interpolation Theorems for Nonmonotonic Reasoning Systems.- Minimal Answer Computation and SOL.- Decidability of Interval Temporal Logics over Split-Frames via Granularity.- Reasoning under Uncertainty.- Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases.- A Qualitative Reasoning with Nuanced Information.- Satisfiability.- Dependent and Independent Variables in Propositional Satisfiability.- A DPLL-Based Calculus for Ground SatisfiabilityModulo Theories.- Paraconsistent Reasoning.- Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.- Three-Valued Logics for Inconsistency Handling.- Paraconsistent Logic Programs.- Actions and Causation.- Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem.- Reasoning about Actions in Prioritized Default Theory.- Towards a Conditional Logic of Actions and Causation.- Logics for Agents.- Axiomatising Nash-Consistent Coalition Logic.- Representing Possibilities in Relation to Constraints and Agents.- An Abductive Logic Programming Architecture for Negotiating Agents.- Semantics.- Preferred Answer Sets for Ordered Logic Programs.- Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.- An Infinite-Valued Semantics for Logic Programs with Negation.- Optimization Issues in Answer Set Semantics.- More on noMoRe.- Answer Set Programming by Ant Colony Optimization.- Testing the Equivalence of Logic Programs under Stable Model Semantics.- System Session.- Argumentative Reasoning with ABEL.- COBA: A Consistency-Based Belief Revision System.- Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.- : Integrating Data Mining with Intelligent Query Answering.- NoMoRe: Non-monotonic Reasoning with Logic Programs.- Process Miner - A Tool for Mining Process Schemes from Event-Based Data.- SMILES: A Multi-purpose Learning System.- The aspps System.- The DLV System.- The DLVK Planning System: Progress Report.- Z-log: Applying System-Z.- Invited Talks.- Hypergraph Transversal Computation and Related Problems in Logic and AI.- Alternation.- The USA-Advisor: A Case Study in Answer Set Programming.