Skip to contents

Łukaszewicz, Witold [Author]

Non-monotonic reasoning : formalization of commonsense reasoning - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York [u.a.]: Ellis Horwood, 1990

Published in: Ellis Horwood Series in artificial intelligence
Dix, Jürgen [Editor] ; International Conference on Logic Programming 11 1994 Santa Margherita Ligure, Workshop on Non-Monotonic Extensions of Logic Programming 4 1994 Santa Margherita Ligure

Non-monotonic extensions of logic programming : selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1995

Published in: Lecture notes in computer science ; 927
Pereira, Luís Moniz [Editor]; Nerode, Anil [Other]

Logic programming and non-monotonic reasoning : proceedings of the Second International Workshop

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass. [u.a.]: MIT Press, 1993
Dix, Jürgen [Editor] ; NMELP 2 1996 Honnef

Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5 - 6, 1996; selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1997

Published in: Lecture notes in computer science ; 1216
Reinfrank, Michael [Editor] ; International Workshop on Non-Monotonic Reasoning 2 1988 Grassau

Non-monotonic reasoning : 2nd International Workshop, Grassau, FRG, June 13 - 15, 1988 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1989

Published in: Lecture notes in computer science ; 346 - Non-monotonic reasoning ; 1988,0000,20
Dix, Jürgen [Author]

Some tendencies in non-monotonic reasoning / 1, The main approaches / J. Dix

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Univ., Fak. für Informatik, 1991

Published in: Some tendencies in non-monotonic reasoning / Jürgen Dix. ++[Universität Karlsruhe, Fakultät für Informatik; Institut für Logik, Komplexität und Deduktionssysteme] ; 1 - Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 90,15
Reinfrank, Michael [Author]

An introduction to non-monotonic reasoning

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kaiserslautern: Univ., Fachbereich Informatik, 1985

Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 136
Dix, Jürgen [Author]

Some tendencies in non-monotonic reasoning

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Univ., Fak. für Informatik, 19XX-

Published in: Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; .
Straß, Hannes [Author]

Abstract Dialectical Frameworks – An Analysis of Their Properties and Role in Knowledge Representation and Reasoning

View online
Schließen

Access

https://d-nb.info/1244828270/34

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Universitätsbibliothek Leipzig, 2017
Ulbricht, Markus [Author]

Understanding Inconsistency -- A Contribution to the Field of Non-monotonic Reasoning

View online
Schließen

Access

https://d-nb.info/1250281776/34

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Universitätsbibliothek Leipzig, 2019
Ul Mehdi, Anees [Author] ; Studer, R. [Degree supervisor]

Epistemic Reasoning in OWL 2 DL

View online
Schließen

Access

https://d-nb.info/1049730607/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: KIT-Bibliothek, 2014
Krümpelmann, Patrick [Author] ; Kern-Isberner, Gabriele [Degree supervisor]; Beierle, Christoph [Other]

Belief revision, non-monotonic reasoning and secrecy for epistemic agents

View online
Schließen

Access

https://d-nb.info/1111509859/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dortmund: Universitätsbibliothek Dortmund, 2015
Pensel, Maximilian [Author] ; Turhan, Anni-Yasmin [Degree supervisor]; Bonatti, Piero Andrea [Other]

A Lightweight Defeasible Description Logic in Depth : Quantification in Rational Reasoning and Beyond

View online
Schließen

Access

https://d-nb.info/122720213X/34

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2019
Forkel, Walter [Author] ; Baader, Franz [Other]; Artale, Alessandro [Other]

Closed-World Semantics for Query Answering in Temporal Description Logics

View online
Schließen

Access

https://d-nb.info/1231847514/34

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2021
Chafik, Anasse [Author]; Cheikh-Alili, Fahima [Author]; Condotta, Jean-François [Author]; Varzinczak, Ivan [Author] ; Anasse Chafik and Fahima Cheikh-Alili and Jean-François Condotta and Ivan Varzinczak [Contributor]

A One-Pass Tree-Shaped Tableau for Defeasible LTL

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Chafik, Anasse [Author]; Cheikh-Alili, Fahima [Author]; Condotta, Jean-François [Author]; Varzinczak, Ivan [Author] ; Anasse Chafik and Fahima Cheikh-Alili and Jean-François Condotta and Ivan Varzinczak [Contributor]

On the Decidability of a Fragment of preferential LTL

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Lifschitz, Vladimir [Author] ; Vladimir Lifschitz [Contributor]

Two-Valued Logic Programs

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
Nicolas, Pascal [Author]; Garcia, Laurent [Author]; Stéphan, Igor [Author] ; Pascal Nicolas and Laurent Garcia and Igor Stéphan [Contributor]

Possibilistic Stable Models

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005
Heyninck, Jesse [Author]; Kern-Isberner, Gabriele [Author]; Thimm, Matthias [Author]; Skiba, Kenneth [Author]

On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Eldorado - Repositorium der TU Dortmund, 2021-07-06
Antoniou, Grigoris [Author]; Batsakis, Sotiris [Author]; Vanthienen, Jan [Author]; Kliegr, Tomáš [Author]; Fodor, Paul [Author]; Lanti, Davide [Author]; Arndt, Dörthe [Author]; Kostylev, Egor V. [Author]; Mitsikas, Theodoros [Author]; Soylu, Ahmet [Author]

Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions - [published Version]

View online
Schließen

Links

https://www.repo.uni-hannover.de/handle/123456789/16616

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen, Germany : RWTH Aachen, 2023

Published in: RuleML+RR-Companion 2023: RuleML+RR Challenge and Doctoral Consortium 2023 : proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023 ; CEUR workshop proceedings ; 3485

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication