Michael Reinfrank,
Johan de Kleer,
Matthew L. Ginsberg,
Erik Sandewall
e.a.
Springer Berlin Heidelberg
1989e druk, 1988
9783540507017
Non-Monotonic Reasoning
2nd International Workshop, Grassau, FRG, June 13-15, 1988. Proceedings
Specificaties
Paperback, 240 blz.
|
Engels
Springer Berlin Heidelberg |
1989e druk, 1988
ISBN13: 9783540507017
Rubricering
Juridisch
:
Onderdeel van serie
Lecture Notes in Computer Science
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
This volume contains revised and extended versions of the papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Grassau (FRG), June 13-15, 1988. The workshop brought together researchers with different backgrounds, including non-monotonic logic, logic programming, truth maintenance and philosophy. Their papers contain substantial advances to the logical foundations of non-monotonic reasoning, its computational realization, and its application to the formalization of common sense reasoning. The book presents a snapshot of the state of the art in this research area, and provides in-depth discussions of current problems and approaches.
Specificaties
ISBN13:9783540507017
Taal:Engels
Bindwijze:paperback
Aantal pagina's:240
Uitgever:Springer Berlin Heidelberg
Druk:1989
Hoofdrubriek:Automatisering algemeen, Computer en informatica
Inhoudsopgave
General theory of cumulative inference.- New results on semantical nonmonotonic reasoning.- The semantics of non-monotonic entailment defined using partial interpretations.- Hierarchic autoepistemic theories for nonmonotonic reasoning: Preliminary report.- Autoepistemic stable closures and contradiction resolution.- Compiling circumscriptive theories into logic programs.- A circumscriptive theorem prover.- The complexity of Model-Preference Default theories.- Massively parallel Assumption-based Truth Maintenance.- An extended basic ATMS.- A nonmonotonic logic for reasoning about speech acts and belief revision.- Autoepistemic logic and formalization of commonsense reasoning preliminary report.- Nonmonotonic reasoning in temporal domains: The knowledge independence problem.- Benchmark problems for formal nonmonotonic reasoning.- Logics for inheritance theory.
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht