Tools

LEADER 02843cam a2200469 a 4500

001 ocm24380086;

005 20141212090307.0;

008 910815s1991 gw b 100 0 eng ;

010 a| 91032791;

020 a| 3540545646;

020 a| 0387545646;

035 a| (Sirsi) o24380086;

035 a| (OCoLC)24380086;

049 a| EREE;

050 00 a| QA76.63b| .N66 1991;

082 00 a| 006.32| 20;

245 00 a| Nonmonotonic and inductive logic :b| 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings /c| J. Dix, K.P. Jantke, P.H. Schmitt (eds.).;

300 a| x, 243 pages ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 543. Lecture notes in artificial intelligence;

490 1 a| Lecture notes in computer science. Lecture notes in artificial intelligence;

490 1 a| Lecture notes in computer science ;v| 543;

500 a| Proceedings of the First International Workshop on Nonmonotonic and Inductive Inference.;

504 a| Includes bibliographical references.;

505 0 a| Cumulative inference relations for JTMS and logic programming / Gerhard Brewka, David Makinson and Karl Schlechta -- Cumulativity and rationality in semantics of normal logic programs / Jürgen Dix -- Nonmonotonic reasoning and logic programs / Heinrich Herre -- Supracompact inference operations / Michael Freund -- Notions of nonmonotonic derivability / Gerhard Jäger -- Ranges of strong modal nonmonotonic logics / Wiktor Marek, Grigori F. Schwarz and Mirosław Truszczyński -- On generation of cumulative inference operators by default deduction rules / Helmut Thiele -- Qualitative magnitude reasoning / Emil Weydert -- Monotonic and nonmonotonic inductive inference of functions and patterns / Klaus P. Jantke.;

650 0 a| Logic programmingv| Congresses.=| ^A205684;

650 0 a| Artificial intelligencev| Congresses.=| ^A46484;

700 1 a| Dix, J.q| (Jürgen),d| 1961-=| ^A287106;

700 1 a| Jantke, K. P.q| (Klaus P.)=| ^A217960;

700 1 a| Schmitt, P. H.q| (Peter H.),d| 1948-=| ^A287107;

711 2 a| International Workshop on Nonmonotonic and Inductive Inferencen| (1st :d| 1990 :c| University of Karlsruhe)?| UNAUTHORIZED;

830 0 a| Lecture notes in computer sciencev| 543.=| ^A466336;

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

830 0 a| Lecture notes in computer sciencev| 543. Lecture notes in artificial intelligence.=| ^A466336;

919 a| BOOK;

596 a| 1;

998 a| 418631;

999 a| QA76.63.N66 1991w| LCc| 1i| 30372006259763d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 5/23/1992x| BOOKz| JSTACKSo| .STAFF. 0;

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings / J. Dix, K.P. Jantke, P.H. Schmitt (eds.).

Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1991.
Description	x, 243 pages ; 24 cm.
Subjects	Logic programming--Congresses. Artificial intelligence--Congresses.

Other author/creator	Dix, J. (Jürgen), 1961-
Other author/creator	Jantke, K. P. (Klaus P.)
Other author/creator	Schmitt, P. H. (Peter H.), 1948-
Other author/creator	International Workshop on Nonmonotonic and Inductive Inference 1990 : University of Karlsruhe) (1st :
Series	Lecture notes in computer science ; 543. Lecture notes in artificial intelligence Lecture notes in computer science. Lecture notes in artificial intelligence Lecture notes in computer science ; 543 Lecture notes in computer science 543. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263 Lecture notes in computer science 543. Lecture notes in artificial intelligence. ^A466336
Contents	Cumulative inference relations for JTMS and logic programming / Gerhard Brewka, David Makinson and Karl Schlechta -- Cumulativity and rationality in semantics of normal logic programs / Jürgen Dix -- Nonmonotonic reasoning and logic programs / Heinrich Herre -- Supracompact inference operations / Michael Freund -- Notions of nonmonotonic derivability / Gerhard Jäger -- Ranges of strong modal nonmonotonic logics / Wiktor Marek, Grigori F. Schwarz and Mirosław Truszczyński -- On generation of cumulative inference operators by default deduction rules / Helmut Thiele -- Qualitative magnitude reasoning / Emil Weydert -- Monotonic and nonmonotonic inductive inference of functions and patterns / Klaus P. Jantke.
General note	Proceedings of the First International Workshop on Nonmonotonic and Inductive Inference.
Bibliography note	Includes bibliographical references.
LCCN	91032791
ISBN	3540545646
ISBN	0387545646

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.63.N66 1991	✔ Available	Place Hold

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings / J. Dix, K.P. Jantke, P.H. Schmitt (eds.).

Click here for more information about this title

Availability