Logic programming and nonmonotonic reasoning proceedings

Logic programming and nonmonotonic reasoning proceedings

Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer Verlag 1995
Σειρά:	Lecture notes in artificial intelligence 928
Θέματα:	Λογική, Συμβολική και μαθηματική Τεχνητή νοημοσύνη > Συνέδρια Τεχνητή νοημοσύνη

Παρόμοια τεκμήρια

Automated deduction - CADE-12 proceedings
Έκδοση: (1994)

Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 proceedings
Έκδοση: (1992)

Nonmonotonic logics basic concepts, results, and techniques
ανά: Schlechta, Karl
Έκδοση: (1997)

Representing and reasoning with probabilistic knowledge a logical approach to probabilities
ανά: Bacchus, Fahiem
Έκδοση: (1990)

Handbook of logic in artificial intelligence and logic programming /
Έκδοση: (1998)

Epistemic logic for AI and computer science
ανά: Meyer, John-Jules Ch
Έκδοση: (1995)

Artificial intelligence in medicine
Έκδοση: (1995)

Workshop on Spatial and Temporal Reasoning : proceedings, Tuesday, 22 July 2008, Patras, Greece /
Έκδοση: (2008)

System demonstrations : proceedings, July 23-25, 2008, Patras, Greece /
Έκδοση: (2008)

Workshop on Artificial Intelligence in Games : proceedings Thusday 22, 2008 Patras, Greece /
Έκδοση: (2008)

Workshop on Configuration Systems : proceedings Monday-Tuesday July 21-22, 2008 Patras, Greece /
Έκδοση: (2008)

Workshop on Computational Aspects of Affectual and Emotional Interaction : proceedings Monday July 21, 2008 Patras, Greece
Έκδοση: (2008)

6th International Cognitive Robotics Workshop : proceedings July 21-22, 2008 Patras, Greece /
Έκδοση: (2008)

1st International Workshop on Combinations of Intelligent Methods and Applications (CIMA 2008) : proceedings Thusday July 22, 2008 Patras, Greece /
Έκδοση: (2008)

Workshop on Supervised and Unsupervised Ensemble Methods and their Applications : proceedings Monday July 21, 2008 Thusday July 22, 2008 Patras, Greece /
Έκδοση: (2008)

Proceedings of the 3rd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AiTAmI'08) : Patras, Greece 21-22 of July, 2008
Έκδοση: (2008)

ECAI 2008 18th European Conference on Artificial Intelligence, July 21-25, 2008, Patras, Greece including Prestigious Applications of Intelligent Systems (PAIS 2008) proceedings
Έκδοση: (2008)

Explanation-aware computing ExaCt 2008 : ECAI-08 Workshop, University of Patras, Greece July 21-22 2008 Proceedings of the 3rd International ExaCt workshop /
Έκδοση: (2008)

Workshop on "Bioinformatics, Genomics & Proteomics, an Artificial Intelligence Approach" BIGPAIA : proceedings Thusday July 22. 2008 Patras, Greece /
Έκδοση: (2008)

Workshop on Mining Social Data (MSoDa) : proceedings Monday July 21, 2008 Patras, Greece /
Έκδοση: (2008)

Nonmonotonic logic
ανά: Marek, Wictor V., κ.ά.
Έκδοση: (1993)

Workshop on Artificial Intelligence Techniques in Software Engineering : proceedings Monday July 21, 2008 Patras, Greece /
Έκδοση: (2008)

Logical Tools for Handling Change in Agent-Based Systems
ανά: Gabbay, Dov M., 1945-
Έκδοση: (2010)

8th Workshop on Computational Models of Natural Argument (CMNA 8) : proceedings Monday July 21, 2008 Patras, Greece /
Έκδοση: (2008)

Fuzzy sets, fuzzy logic, fuzzy methods with applications
ανά: Bandemer, Hans
Έκδοση: (1995)

Natural Deduction, Hybrid Systems and Modal Logics
ανά: Indrzejczak, Andrzej
Έκδοση: (2010)

Reasoning about rational agents
ανά: Wooldridge, Michael J. 1966-
Έκδοση: (2000)

Fuzzy logic in artificial intelligence towards intelligent systems proceedings...[of] IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995
Έκδοση: (1997)

Incomplete information rough set analysis
Έκδοση: (1998)

Εμπειρος έλεγχος διεργασίας με ασαφή ρυθμιστή
ανά: Ρέκκας, Αλέξανδρος
Έκδοση: (1992)

Ευφυής έλεγχος
ανά: Κινγκ, Ροβέρτος-Ερρίκος 1937-
Έκδοση: (2004)

Ευφυής έλεγχος
ανά: Κινγκ, Ροβέρτος-Ερρίκος 1937-
Έκδοση: (1997)

The computer modelling of mathematical reasonic
ανά: Bundy, lan
Έκδοση: (1983)

Modern uses of multiple-valued logic invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975
Έκδοση: (1977)

Fuzzy logic and neural network handbook /
Έκδοση: (1995)

Logic : techniques of formal reasoning /
ανά: Kalish, Donald
Έκδοση: (1980)

Logic programming and soft computing
Έκδοση: (1998)

Induction : processes of inference, learning, and discovery /
Έκδοση: (1986)

Logic programming formal methods and practical aplications
Έκδοση: (1995)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών