Epistemic logic for AI and computer science

Epistemic logic for AI and computer science

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Meyer, John-Jules Ch
Άλλοι συγγραφείς:	Hoek, W. van der
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge New York Cambridge University Press 1995
Σειρά:	Cambridge tracts in theoretical computer science 41
Θέματα:	Λογική, Συμβολική και μαθηματική Ηλεκτρονικοί υπολογιστές > Εμπειρα συστήματα Τεχνητή νοημοσύνη

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

Hybrid intelligent systems
ανά: Medsker, Larry R.
Έκδοση: (1995)

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

Expert systems artificial intelligence in business
ανά: Harmon, Paul
Έκδοση: (1985)

Introduction to knowledge systems
ανά: Stefik, Mark
Έκδοση: (1995)

Hybrid neural network and expert systems
ανά: Medsker, Larry R.
Έκδοση: (1994)

Ανάπτυξη έμπειρου συστήματος λήψης αποφάσεων ναυτιλιακής επιχειρηματικότητας
ανά: Χαντζάρα, Αικατερίνη
Έκδοση: (2008)

Knowledge engineering shells systems and techniques
Έκδοση: (1993)

Introduction to artificial intelligence and expert systems
ανά: Patterson, Dan W. 1930-
Έκδοση: (1990)

Υλοποίηση και αξιολόγηση του μοντέλου του Yager για έναν ασαφή ρυθμιστή
ανά: Σουρής, Γεώργιος Ν.
Έκδοση: (1993)

Soft computing techniques in knowledge-based intelligent engineering systems approaches and applications
Έκδοση: (1997)

The expert executive Using AI and expert systems for financial management, marketing, production, and strategy
ανά: Hertz, David Bendel
Έκδοση: (1988)

Ευφυές σύστημα αναζήτησης δανείου
ανά: Γεωργίου, Ειρήνη
Έκδοση: (2006)

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

Logic programming and nonmonotonic reasoning proceedings
Έκδοση: (1995)

Advances in knowledge discovery and data mining /
Έκδοση: (1996)

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

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

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

Μέθοδοι αναπαράστασης γνώσης στα έμπειρα συστήματα Διπλωματική εργασία.
ανά: Βογιατζάκη, Ελένη Ι.
Έκδοση: (1988)

Conditional logic in expert systems
Έκδοση: (1991)

Εμπειρα Συστήματα & Βάσεις Δεδομένων Διπλωματική εργασία.
ανά: Παπαγγελόπουλος, Αγγελος
Έκδοση: (1995)

Crafting knowledge-based systems expert systems made easy realistic
ανά: Walters, John
Έκδοση: (1988)

Granular computing an emerging paradigm
Έκδοση: (2001)

A first course in formal logic and its applications in computer science
ανά: Dowsing, R.D
Έκδοση: (1986)

The temporal logic of reactive and concurrent systems specification
ανά: Manna, Zohar, κ.ά.
Έκδοση: (1992)

Expert database systems a gentle introduction
ανά: Beynon-Davies, Paul
Έκδοση: (1991)

Second generation expert systems
Έκδοση: (1993)

Introduction to expert systems
ανά: Jackson, Peter, 1948-
Έκδοση: (1999)

Case - based reasoning
ανά: Kolodner, Janet
Έκδοση: (1993)

Building expert systems cognitive emulation
ανά: Slatter, P. E.
Έκδοση: (1987)

Personal expert systems designing and programming
ανά: Townsend, Carl
Έκδοση: (1986)

Introduction to expert systems the development and implentation of rule-based expert systems
ανά: Ignizio, James P.
Έκδοση: (1991)

Princples of expert systems
ανά: Lucas, Peter
Έκδοση: (1991)

Developing your first expert system /
ανά: Liebowitz, Jay

Exploring expect a tcl-based toolkit for automating interactive programs
ανά: Libes, Don
Έκδοση: (1995)

Knowledge-based information systems
ανά: Partridge, D.
Έκδοση: (1995)

Case-based reasoning experiences, lessons and future directions
Έκδοση: (1996)

Expert systems techniques, tools and applications
Έκδοση: (1986)

First-order logic and automated theorem proving /
ανά: Fitting, Melvin 1942-
Έκδοση: (1996)

Designing knowledge-based systems
ανά: Addis, T. R.
Έκδοση: (1985)

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

Cannot write session to /tmp/vufind_sessions/sess_tc4aqfkj69ad4eb2gr9pca746n