Logic programming and nonmonotonic reasoning :

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	LPNMR'97
Άλλοι συγγραφείς:	Dix, J. (Jurgen) 1961- (Επιμελητής έκδοσης), Furbach, Ulrich (Επιμελητής έκδοσης), Nerode, Anil, 1932- (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Berlin ; Heidelberg : Springer, c1997
Σειρά:	Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 1265
Θέματα:	Logic programming > Congresses. Nonmonotonic reasoning > Congresses.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Nonmonotonic reasoning :
από: Brewka, Gerhard
Δημοσίευση: (1997)

Nonmonotonic reasoning
από: Antoniou, G. (Grigoris)
Δημοσίευση: (1997)

Nonmonotonic logics :
από: Schlechta, Karl
Δημοσίευση: (1997)

Non-monotonic extensions of logic programming :
Δημοσίευση: (1997)

Nonmonotonic logic :
από: Marek, Wiktor
Δημοσίευση: (1993)

Non-monotonic extensions of logic programming :
Δημοσίευση: (1995)

Logic programming and non-monotonic reasoning :
Δημοσίευση: (1993)

Logic programming and non-monotonic reasoning :
Δημοσίευση: (1991)

Nonmonotonic reasoning :
από: Brewka, Gerhard
Δημοσίευση: (1991)

The rhetoric of reason :
από: Crosswhite, James
Δημοσίευση: (1996)

Logic programming :
Δημοσίευση: (1991)

Logic Programming :

Fuzzy approach to reasoning and decision-making :
Δημοσίευση: (1992)

The mathematical analysis of logic :
από: Boole, George, 1815-1864
Δημοσίευση: (1948)

Non-monotonic reasoning :
από: Kukaszewicz, Witold
Δημοσίευση: (1990)

Reasoning under incomplete information in artificial intelligence :
από: Sombe, Lea
Δημοσίευση: (1990)

Reason and morality
Δημοσίευση: (1985)

Reasoning about uncertainty
από: Halpern, Joseph Y. 1953-
Δημοσίευση: (2005)

Symbolic and quantitative approaches to reasoning with uncertainty :
Δημοσίευση: (2007)

Fuzzy and evidence reasoning
από: Lee, E. Stanley (Eugene Stanley) 1930-
Δημοσίευση: (1995)

Programming logic and design :
από: Farrell, Joyce
Δημοσίευση: (2007)

Meta-programming in logic programming
Δημοσίευση: (1989)

Similarity and analogical reasoning
Δημοσίευση: (1989)

The logic programming paradigm :
Δημοσίευση: (1999)

Types in logic programming
Δημοσίευση: (1992)

Essentials of logic programming
από: Hogger, Christopher John
Δημοσίευση: (1990)

Logic and computer science :
από: Homer, S. (Steven)
Δημοσίευση: (1990)

Deduction
από: Johnson-Laird, P. N. (Philip Nicholas) 1936-
Δημοσίευση: (1991)

Lecture et ecriture du texte argumentatif en francais et en philosophie
Δημοσίευση: (1995)

Constraint satisfaction in logic programming
από: Van Hentenryck, Pascal
Δημοσίευση: (1989)

Logic and algebra
Δημοσίευση: (1996)

The logic of programming
από: Hehner, Eric C. R.
Δημοσίευση: (1984)

Analogical reasoning :
Δημοσίευση: (1988)

Handbook of logic in artificial intelligence and logic programming
Δημοσίευση: (1993)

Logic programming and databases
από: Ceri, Stefano 1955-
Δημοσίευση: (1990)

Logic programming and prolog
από: Nilsson, Ulf
Δημοσίευση: (1997)

Parallel logic programming
από: Tick, Evan 1959-
Δημοσίευση: (1991)

Logic programming with Prolog
από: Bramer, M. A. (Max A.) 1948-
Δημοσίευση: (2005)

Advances in modal logic
Δημοσίευση: (1998)

Logic colloquium :
Δημοσίευση: (1975)