Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings Tomi Janhunen (u. a.) Taschenbuch Englisch 2010 - Taschenbuch
2010, ISBN: 9783642156748
[ED: Taschenbuch], [PU: Springer Berlin], This volume contains the papers selected for presentation at the 12th European Conference on Logics in Arti?cial Intelligence, JELIA 2010, which … Mehr…
booklooker.de |
2010, ISBN: 9783642156748
This volume contains the papers selected for presentation at the 12th European Conference on Logics in Arti?cial Intelligence, JELIA 2010, which was held in Helsinki, Finland, during Sept… Mehr…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2001, ISBN: 9783642156748
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This volume contains the papers selected for presentation at the 12th European Conference on Logics in Arti cial Intelligence, JEL… Mehr…
booklooker.de |
Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings - Taschenbuch
2010, ISBN: 3642156746
[EAN: 9783642156748], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], SATISFIABILITY CHECKING,LOGIC PROGRAMMING,EPISTEMIC LOGIC,PROGRAMMING,MODELING,KNOWLEDGE BASE,MACHINE LEA… Mehr…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings - Taschenbuch
2010, ISBN: 9783642156748
Paperback / softback. New. Constitutes the refereed proceedings of the 5th International Conference on E-learning and Games, Edutainment 2010, held in Changchun, China, in August 2010. T… Mehr…
Biblio.co.uk |
Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings Tomi Janhunen (u. a.) Taschenbuch Englisch 2010 - Taschenbuch
2010, ISBN: 9783642156748
[ED: Taschenbuch], [PU: Springer Berlin], This volume contains the papers selected for presentation at the 12th European Conference on Logics in Arti?cial Intelligence, JELIA 2010, which … Mehr…
2010, ISBN: 9783642156748
This volume contains the papers selected for presentation at the 12th European Conference on Logics in Arti?cial Intelligence, JELIA 2010, which was held in Helsinki, Finland, during Sept… Mehr…
2001
ISBN: 9783642156748
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This volume contains the papers selected for presentation at the 12th European Conference on Logics in Arti cial Intelligence, JEL… Mehr…
Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings - Taschenbuch
2010, ISBN: 3642156746
[EAN: 9783642156748], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], SATISFIABILITY CHECKING,LOGIC PROGRAMMING,EPISTEMIC LOGIC,PROGRAMMING,MODELING,KNOWLEDGE BASE,MACHINE LEA… Mehr…
Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings - Taschenbuch
2010, ISBN: 9783642156748
Paperback / softback. New. Constitutes the refereed proceedings of the 5th International Conference on E-learning and Games, Edutainment 2010, held in Changchun, China, in August 2010. T… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings
EAN (ISBN-13): 9783642156748
ISBN (ISBN-10): 3642156746
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
372 Seiten
Gewicht: 0,581 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-12-25T12:46:55+01:00 (Vienna)
Detailseite zuletzt geändert am 2024-03-25T11:31:26+01:00 (Vienna)
ISBN/EAN: 9783642156748
ISBN - alternative Schreibweisen:
3-642-15674-6, 978-3-642-15674-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: niemel, tomi, janhunen, tom, springer
Titel des Buches: helsinki, proceedings artificial intelligence conference, what logics mean, lecture notes artificial intelligence, lecture notes computer science, art, september
Daten vom Verlag:
Autor/in: Tomi Janhunen; Ilkka Niemelä
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings
Verlag: Springer; Springer Berlin
374 Seiten
Erscheinungsjahr: 2010-09-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIV, 374 p. 48 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Informatik; AI logic; Argumentation; Extension; algorithms; artificial intelligence; description logic; epistemic logic; hybrid logic; knowledge; knowledge base; logic programming; machine learning; modeling; programming; satisfiability checking; Artificial Intelligence; Formal Languages and Automata Theory; Computer and Information Systems Applications; Software Engineering; Computer Science Logic and Foundations of Programming; Symbolic and Algebraic Manipulation; Theoretische Informatik; Angewandte Informatik; Software Engineering; Mathematik für Informatiker; EA
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
0884570335331 [(Ki 2001 Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings )] [Author: Franz Baader] [Sep-2001] (Franz Baader)
- 0884570335331 [(Ki 2001 Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings )] [Author: Franz Baader] [Sep-2001] (Franz Baader)
- 9781577357803 Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence Volume 1 Satinder Singh Editor (Markovitch, Shaul (Herausgeber); Singh, Satinder (Herausgeber))
- 9781577357810 Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence Volume 2 Satinder Singh Editor (AAAI)
- 9781577357827 Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence Volume 3 Satinder Singh Editor (AAAI)
- 9780262510554 AAAI-87 (American Association for Artificial Intelligence)
< zum Archiv...