12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings
Buch, Englisch, 374 Seiten, Gewicht: 586 g
Reihe: Lecture Notes in Artificial Intelligence
ISBN: 978-3-642-15674-8
Verlag: Springer
This book constitutes the refereed proceedings of the 5th International Conference on E-learning and Games, Edutainment 2010, held in Changchun, China, in August 2010.
The book includes 3 invited talks, 26 regular papers, and 5 system descriptions.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Technische Informatik Wartung & Reparatur
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Algorithmen & Datenstrukturen
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
Weitere Infos & Material
Invited Talks.- Nonmonotonic Tools for Argumentation.- Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference.- Counter Systems for Data Logics.- Regular Papers.- Similarity-Based Inconsistency-Tolerant Logics.- Decomposition of Distributed Nonmonotonic Multi-Context Systems.- Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases.- A Decidable Constructive Description Logic.- A Normal Form for Linear Temporal Equilibrium Logic.- Rational Closure for Defeasible Description Logics.- Extensional Higher-Order Logic Programming.- dl2asp: Implementing Default Logic via Answer Set Programming.- Sets of Boolean Connectives That Make Argumentation Easier.- Retroactive Subsumption-Based Tabled Evaluation of Logic Programs.- Preference-Based Inconsistency Assessment in Multi-Context Systems.- A Logical Semantics for Description Logic Programs.- An Incremental Answer Set Programming Based System for Finite ModelComputation.- Parametrized Logic Programming.- Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription.-: A Context Description Logic.- Stable Belief Sets Revisited.- Efficient Inferencing for OWL EL.- Translating First-Order Causal Theories into Answer Set Programming.- Preprocessing Boolean Formulae for BDDs in a Probabilistic Context.- Minimal Knowledge and Belief via Minimal Topology.- A Logical Account of Lying.- Tabling with Answer Subsumption: Implementation, Applications and Performance.- Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic.- An Approximative Inference Method for Solving ???SO Satisfiability Problems.- Horn Contraction via Epistemic Entrenchment.- System Descriptions.- The DMCS Solver for Distributed Nonmonotonic Multi-ContextSystems.- The mcs-ie System for Explaining Inconsistency in Multi-Context Systems.- Coala: A Compiler from Action Languages to ASP.- DLV MC: Enhanced Model Checking in DLV.- A Dynamic-Programming Based ASP-Solver.