Kategorien
Handverlesen
Verbrieft
Kafka, Kafka, Kafka
Alice Munro
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (64 Treffer)
Filter schließen (64 Treffer)
Stichwort auswählen
Alle Stichworte
Nonmonotonicreasoning (64)
Logic (27)
Artificialintelligence (25)
Knowledgerepresentation (18)
Automatedreasoning (17)
Knowledge (16)
Proving (13)
Semantics (12)
Learning (11)
Extension (10)
Intelligence (9)
Logicprogramming (9)
Programming (9)
Prooftheory (9)
Theoremproving (9)
Algorithms (8)
Automat (8)
Automateddeduction (8)
Verification (8)
Complexity (7)
Multi-Agentsystem (7)
Nichtmonotonesschließen (7)
Nonclassicallogics (6)
Uncertainty (6)
Answersetprogramming (5)
Automatedtheoremproving (5)
Descriptionlogics (5)
Expertsystem (5)
Heuristics (5)
Knowledge-Basedsystems (5)
Knowledgebase (5)
Prolog (5)
Agents (4)
Machinelearning (4)
Naturallanguage (4)
Optimization (4)
Philosophy (4)
Argumentation (3)
Beliefrevision (3)
Case-Basedreasoning (3)
Databases (3)
Formallogic (3)
Knowledge-Basedsystem (3)
Künstlicheintelligenz (3)
Mathematicallogic (3)
Modelchecking (3)
Neuralnetwork (3)
Probabilisticreasoning (3)
Programminglanguage (3)
Robot (3)
Selection (3)
Wissensrepräsentation (3)
Algebra (2)
Analysis (2)
Argumentationtheory (2)
Artificialautomat (2)
Associationrules (2)
Automatischesschließen (2)
Businessrules (2)
Classification (2)
Cognition (2)
Cognitivepsychology (2)
Constraint (2)
Constrainthandlingrules (2)
Cprogramminglanguage (2)
Datamining (2)
Defaultextension (2)
Defaultlogic (2)
Formalintelligence (2)
Fuzzy (2)
Geneticalgorithms (2)
Intelligentesysteme (2)
Intelligentsystems (2)
Knowledgediscovery (2)
Legalargumentation (2)
Legalrules (2)
Logicalanalysis (2)
Logicalinference (2)
Logicalreasoning (2)
Logik (2)
Markuplanguages (2)
Maschinelleslernen (2)
Modeling (2)
Natural (2)
Nicht-Monotonesschließen (2)
Non-Monotonicreasoning (2)
Ogramming (2)
Ontologies (2)
Patternrecognition (2)
Programsemantics (2)
Proof (2)
Prädikatenlogik (2)
Reactiverules (2)
Resolution (2)
Rulelearning (2)
Spatialreasoning (2)
Uncertainreasoning (2)
Wissenspräsentation (2)
Abstractargumentation (1)
Action (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Mathematik: Logik (16)
Theoretische Informatik (12)
Software Engineering (9)
Künstliche Intelligenz (8)
Compiler und Übersetzer (6)
Logik (3)
Netzwerk-Hardware (3)
Mathematik für Informatiker (2)
Algorithmen und Datenstrukturen (1)
Data Warehousing (1)
Expertensysteme (1)
Natürliche Sprachen und Maschinelle Übersetzung (1)
Neurowissenschaften (1)
Wissensbasierte Systeme (1)
Sprache auswählen
Sprachen
Englisch (64)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (60)
Gebunden (4)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
Gefundene Autoren:
Philippe Besnard
oder
H. Prakken
oder
Z. Stachniak
oder
Jose Julio Alferes
oder
Peter Gardenfors
eng
Rules and Reasoning
7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18¿20, 2023, Proceedings
Springer Nature Switzerland
2023
Taschenbuch
280 Seiten
62,05
€
in Kürze
eng
Rules and Reasoning
Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18¿21, 2018, Proceedings
Springer International Publishing
2018
Taschenbuch
352 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during Septemb…
eng
Practical Aspects of Declarative Languages
19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Springer International Publishing
2016
Taschenbuch
228 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, Fr…
eng
Logic Programming and Nonmonotonic Reasoning
13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Springer International Publishing
2015
Taschenbuch
588 Seiten
53,49
€
in Kürze
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held …
eng
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
Springer International Publishing
2015
Taschenbuch
376 Seiten
53,49
€
in Kürze
This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles from fields reflecting the breadt…
eng
Logics in Artificial Intelligence
14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings
Springer International Publishing
2014
Taschenbuch
720 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Por…
eng
Areski Nait Abdallah
The Logic of Partial Information
Springer Berlin Heidelberg
2011
Taschenbuch
748 Seiten
106,99
€
in Kürze
One must be able to say at all times - in stead of points, straight lines, and planes - tables, chairs and beer mugs. (David Hilbert) One service ma…
eng
Z. Stachniak
Resolution Proof Systems
An Algebraic Theory
Springer Netherlands
2011
Taschenbuch
228 Seiten
106,99
€
in Kürze
Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning…
eng
Dynamics and Management of Reasoning Processes
Springer Netherlands
2010
Taschenbuch
396 Seiten
106,99
€
in Kürze
This volume, the 6th volume in the DRUMS Handbook series, is part of the after math of the successful ESPRIT project DRUMS (Defeasible Reasoning and…
eng
Philippe Besnard
An Introduction to Default Logic
Springer Berlin Heidelberg
2010
Taschenbuch
224 Seiten
106,99
€
in Kürze
eng
Peter Gardenfors
The Dynamics of Thought
Springer Netherlands
2010
Taschenbuch
308 Seiten
213,99
€
in Kürze
This book is a selection from the articles that I have written over a period of more than twenty years. Since the focus of my research interests has …
eng
H. Prakken
Logical Tools for Modelling Legal Argument
A Study of Defeasible Reasoning in Law
Springer Netherlands
2010
Taschenbuch
328 Seiten
213,99
€
in Kürze
This book is a revised and extended version of my PhD Thesis 'Logical Tools for Modelling Legal Argument', which I defended on 14 January 1993 at the…
eng
Logic Programming and Nonmonotonic Reasoning
10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings
Springer Berlin Heidelberg
2009
Taschenbuch
676 Seiten
106,99
€
in Kürze
This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), held during S…
eng
Argumentation in Multi-Agent Systems
Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
Springer Berlin Heidelberg
2009
Taschenbuch
248 Seiten
53,49
€
in Kürze
During the last decade Argumentation has been gaining importance within Artificial Intelligence especially in multi agent systems. Argumentation is a…
eng
Logics in Artificial Intelligence
11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
Springer Berlin Heidelberg
2008
Taschenbuch
444 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Ger…
eng
Automated Reasoning with Analytic Tableaux and Related Methods
16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
Springer Berlin Heidelberg
2007
Taschenbuch
260 Seiten
53,49
€
in Kürze
eng
Logic Programming and Nonmonotonic Reasoning
9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings
Springer Berlin Heidelberg
2007
Taschenbuch
344 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held …
eng
Logics in Artificial Intelligence
10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
Springer Berlin Heidelberg
2006
Taschenbuch
536 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006. The 34 revised full …
eng
Logic Programming and Nonmonotonic Reasoning
8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings
Springer Berlin Heidelberg
2005
Taschenbuch
476 Seiten
53,49
€
in Kürze
Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones held in Wash…
eng
Logics in Artificial Intelligence
9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
Springer Berlin Heidelberg
2004
Taschenbuch
764 Seiten
106,99
€
in Kürze
Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in arti?cial intelligen…
eng
Automated Reasoning
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Springer Berlin Heidelberg
2004
Taschenbuch
512 Seiten
106,99
€
in Kürze
This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4¿8, 2004 in Cork, Ir…
eng
Logic Programming and Nonmonotonic Reasoning
7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Springer Berlin Heidelberg
2003
Taschenbuch
380 Seiten
53,49
€
in Kürze
The papers in this collection were presented at the 7th International Con- rence on Logic Programming and Nonmonotonic Reasoning (LPNMR-7) in Fort La…
eng
Dynamics and Management of Reasoning Processes
Springer Netherlands
2001
Gebunden
396 Seiten
106,99
€
in Kürze
This volume, the 6th volume in the DRUMS Handbook series, is part of the after math of the successful ESPRIT project DRUMS (Defeasible Reasoning and…
eng
Logic for Programming, Artificial Intelligence, and Reasoning
8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings
Springer Berlin Heidelberg
2001
Taschenbuch
760 Seiten
106,99
€
in Kürze
This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR…
eng
Logic Programming and Nonmonotonic Reasoning
6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings
Springer Berlin Heidelberg
2001
Taschenbuch
472 Seiten
53,49
€
in Kürze
WolfgangFaber Miros lawTruszczynski ¿ Conference Organization ProgramCo-chairs ThomasEiter(ViennaUniversityofTechnology, Austria) Miros lawTruszczyns…
eng
Gabriele Kern-Isberner
Conditionals in Nonmonotonic Reasoning and Belief Revision
Considering Conditionals as Agents
Springer Berlin Heidelberg
2001
Taschenbuch
208 Seiten
53,49
€
in Kürze
Conditionals are omnipresent, in everyday life as well as in scientific environments; they represent generic knowledge acquired inductively or learne…
eng
Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Springer Berlin Heidelberg
2001
Taschenbuch
728 Seiten
106,99
€
in Kürze
associated workshops and produced their own separate proceedings.
eng
Logic for Programming and Automated Reasoning
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
Springer Berlin Heidelberg
2000
Taschenbuch
508 Seiten
53,49
€
in Kürze
This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programmingand Automated Reasoning (LPAR 2000)held onReunion…
eng
Computational Logic ¿ CL 2000
First International Conference London, UK, July 24¿28, 2000 Proceedings
Springer Berlin Heidelberg
2000
Taschenbuch
1428 Seiten
53,49
€
in Kürze
These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24…
eng
Computational Intelligence in Data Mining
Springer Vienna
2000
Taschenbuch
176 Seiten
53,49
€
in Kürze
The book aims to merge Computational Intelligence with Data Mining, which are both hot topics of current research and industrial development, Computa…
eng
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings
Springer Berlin Heidelberg
1999
Taschenbuch
416 Seiten
53,49
€
in Kürze
Theprogrammecommitteeisverygratefulforallthehardworkcontributed bythereviewers. Hopefully,wehavenotmissedanyonefromthefollowing list: BruceD¿Ambrosio…
eng
Logics in Artificial Intelligence
European Workshop, JELIA ¿98 Dagstuhl, Germany, October 12¿15, 1998 Proceedings
Springer Berlin Heidelberg
1998
Taschenbuch
408 Seiten
53,49
€
in Kürze
This volume contains the papers selected for presentation at the conference and two abstracts from invited speakers. The programme committee selected…
eng
Artificial Intelligence: Methodology, Systems, and Applications
8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings
Springer Berlin Heidelberg
1998
Taschenbuch
520 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications, AI…
eng
H. Prakken
Logical Tools for Modelling Legal Argument
A Study of Defeasible Reasoning in Law
Springer Netherlands
1997
Gebunden
332 Seiten
213,99
€
in Kürze
This book is a revised and extended version of my PhD Thesis 'Logical Tools for Modelling Legal Argument', which I defended on 14 January 1993 at the…
eng
Progress in Artificial Intelligence
8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings
Springer Berlin Heidelberg
1997
Taschenbuch
420 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 8th Portuguese Conference on Artificial Intelligence, EPIA '97, held in Coimbra, Portugal, in O…
eng
Logic Programming and Nonmonotonic Reasoning
Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
Springer Berlin Heidelberg
1997
Taschenbuch
472 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held i…
Mehr
/9783031450716.png "Rules and Reasoning")
/9783319999050.png "Rules and Reasoning")
/9783319516752.png "Practical Aspects of Declarative Languages")
/9783319232638.png "Logic Programming and Nonmonotonic Reasoning")
/9783319147253.png "Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation")
/9783319115573.png "Logics in Artificial Intelligence")
/9783642781629.png "The Logic of Partial Information")
/9789401072519.png "Resolution Proof Systems")
/9789048159031.png "Dynamics and Management of Reasoning Processes")
/9783642080784.png "An Introduction to Default Logic")
/9789048168545.png "The Dynamics of Thought")
/9789048149285.png "Logical Tools for Modelling Legal Argument")
/9783642042379.png "Logic Programming and Nonmonotonic Reasoning")
/9783642002069.png "Argumentation in Multi-Agent Systems")
/9783540878025.png "Logics in Artificial Intelligence")
/9783540730989.png "Automated Reasoning with Analytic Tableaux and Related Methods")
/9783540721994.png "Logic Programming and Nonmonotonic Reasoning")
/9783540396253.png "Logics in Artificial Intelligence")
/9783540285380.png "Logic Programming and Nonmonotonic Reasoning")
/9783540232421.png "Logics in Artificial Intelligence")
/9783540223450.png "Automated Reasoning")
/9783540207214.png "Logic Programming and Nonmonotonic Reasoning")
/9781402001932.png "Dynamics and Management of Reasoning Processes")
/9783540429579.png "Logic for Programming, Artificial Intelligence, and Reasoning")
/9783540425939.png "Logic Programming and Nonmonotonic Reasoning")
/9783540423676.png "Conditionals in Nonmonotonic Reasoning and Belief Revision")
/9783540422549.png "Automated Reasoning")
/9783540412854.png "Logic for Programming and Automated Reasoning")
/9783540677970.png "Computational Logic ¿ CL 2000")
/9783211833261.png "Computational Intelligence in Data Mining")
/9783540661313.png "Symbolic and Quantitative Approaches to Reasoning and Uncertainty")
/9783540651413.png "Logics in Artificial Intelligence")
/9783540649939.png "Artificial Intelligence: Methodology, Systems, and Applications")
/9780792347767.png "Logical Tools for Modelling Legal Argument")
/9783540635864.png "Progress in Artificial Intelligence")
/9783540632559.png "Logic Programming and Nonmonotonic Reasoning")