Logic programming and knowledge representation
: third international workshop ; selected papers / LPKR '97, Port Jefferson, New York, USA, October 1997. J. Dix ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1471 : Lecture notes in artificial intelligence)
ISBN 978-3-540-49872-8
Lizenzpflichtig
Quelle: DNB
Logic programming and knowledge representation
: third international workshop ; selected papers / LPKR '97, Port Jefferson, New York, USA, October 17, 1997. Jürgen Dix ... (ed.). - Berlin : Springer, 1998. - VIII, 246 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1471 : Lecture notes in artificial intelligence)
ISBN 978-3-540-64958-8 / 3-540-64958-1 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Logic programming and nonmonotonic reasoning
: 7th international conference ; proceedings / LPNMR 2004, Fort Lauderdale, FL, USA, January 6 - 8, 2004. Vladimir Lifschitz ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2923 : Lecture notes in artificial intelligence)
ISBN 978-3-540-24609-1
Lizenzpflichtig
Quelle: DNB
Logic programming and nonmonotonic reasoning
: 7th international conference ; proceedings / LPNMR 2004, Fort Lauderdale, FL, USA, January 6 - 8, 2004. Vladimir Lifschitz ; Ilkka Niemelä (ed.). - Berlin : Springer, 2004. - IX, 364 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2923 : Lecture notes in artificial intelligence)
ISBN 978-3-540-20721-4 / 3-540-20721-X kart. : EUR 53.50, sfr 86.00
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logic programming and nonmonotonic reasoning
: 6th international conference ; proceedings / LPNMR 2001, Vienna, Austria, September 17 - 19, 2001. T. Eiter ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2173 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45402-1
Lizenzpflichtig
Quelle: DNB
Logic programming and nonmonotonic reasoning
: 5th international conference ; proceedings / LPNMR '99, El Paso, Texas, USA, December 1999. M. Gelfond ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1730 : Lecture notes in artificial intelligence)
ISBN 978-3-540-46767-0
Lizenzpflichtig
Quelle: DNB
Logic programming and nonmonotonic reasoning
: 9th international conference ; proceedings / LPNMR 2007, Tempe, AZ, USA, May 15 - 17, 2007. Chitta Baral ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4483 : Lecture notes in artificial intelligence)
ISBN 978-3-540-72200-7
Lizenzpflichtig
Quelle: DNB
Logic programming and nonmonotonic reasoning
: 8th international conference ; proceedings / LPNMR 2005, Diamante, Italy, September 5 - 8, 2005. Chitta Baral ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3662 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31827-9
Lizenzpflichtig
Quelle: DNB
Dau, Frithjof: The logic system of concept graphs with negation and its relationship to predicate logic
/ Frithjof Dau. - Berlin : Springer, 2003. - XI, 213 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2892 : Lecture notes in artificial intelligence)
ISBN 978-3-540-20607-1 / 3-540-20607-8 kart. : EUR 40.66
Literaturverz. S. 205 - 209
Quelle: DNB
The logic system of concept graphs with negation and its relationship to predicate logic
/ Frithjof Dau. - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2892 : Lecture notes in artificial intelligence)
ISBN 978-3-540-40062-2
Lizenzpflichtig
Quelle: DNB
