A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Filters
A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning
2004
Computational intelligence
Preserved Fulltext
In recent years, there has been a large amount of disparate work concerning the representation and reasoning with qualitative preferential information by means of approaches to nonmonotonic reasoning. ...
Here, we present an overview and classification for approaches to dealing with preference. ...
Acknowledgements The authors would like to thank the anonymous referees for valuable com- ...
doi:10.1111/j.0824-7935.2004.00240.x
fatcat:2athvzwyazgobgqki57falevsi
Reasoning with infinite stable models
2004
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
From the application point of view, the theory of finitary programs shows how the existing technology for answer set programming can be extended from problem solving below the second level of the polynomial ...
Moreover, finitary programs allow a more natural encoding of recursive data structures and may increase the performance of credulous reasoners. ...
Acknowledgements The author is grateful to the anonymous referees of this paper and its preliminary versions for their deep and careful reviews, and for their precious suggestions. ...
doi:10.1016/j.artint.2004.02.001
fatcat:sfccg7lmfbaqzkvtt4eerkcsdi
Knowledge Representation and Reasoning
1986
Annual Review of Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Although we start with full first-order logic as a representation language, and logical entailment as the basis for reasoning, this is just the starting point, and a somewhat unrealistic one at that. ...
By exposing the heart of each style of representation, complemented by a discussion of the basics of reasoning with that representation, we aim to give the reader a solid foundation for understanding the ...
relations that are similar to entailment, but which are non-monotonic. ...
doi:10.1146/annurev.cs.01.060186.001351
fatcat:zouzny4pgfgdjopiqsr6e3grcq
An Integrated Framework for Learning and Reasoning
1995
The Journal of Artificial Intelligence Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
However, learning and reasoning are in many ways interdependent. ...
Learning and reasoning are both aspects of what is considered to be intelligence. ...
Many thanks also to our reviewers for helpful and constructive comments. ...
doi:10.1613/jair.93
fatcat:nzkolaw6azcxjgsgfzwl2ispya
An Integrated Framework for Learning and Reasoning
[article]
1995
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
However, learning and reasoning are in many ways interdependent. ...
Learning and reasoning are both aspects of what is considered to be intelligence. ...
Many thanks also to our reviewers for helpful and constructive comments. ...
arXiv:cs/9508102v1
fatcat:y6dirrdo6ffebco77c6cqnmspm
Page 1036 of Mathematical Reviews Vol. , Issue 92b
[page]
1992
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Shvarts], Autoepistemic modal logics (pp. 97-109); Fang Zhen Lin and Yoav Shoham, Epistemic semantics for fixed-points non- monotonic logics (pp. 111-120); Judea Pearl, System Z: a natural ordering of ...
Mazer, A link between knowledge and communication in faulty distributed systems (preliminary report) (pp. 289-304). ...
Reasoning with incomplete information : investigations of non-monotonic reasoning
1986
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Taking a largely semantic approach, we develop and/or extend model-theoretic semantics for the formalisms in question. ...
We focus on two aspects of this problem: default or prototypical reasoning, and closed-world or circumscriptive reasoning. ...
Non-monotonic reasoning and update are intimately connected: non-monotonic reasoning is non-monotonic precisely because of its behaviour when confronted by updates. ...
doi:10.14288/1.0051930
fatcat:xxrynq6lbfa3xgz6edecodezza
A logic for legal hierarchies
1993
Proceedings of the fourth international conference on Artificial intelligence and law - ICAIL '93
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The theory of non-monotonic reasoning has interesting applications for theformalization and automated use of legal concepts, specially: q q q drawing conclusions from a logically inconsistent, but hierarchic ...
Its algebraic proof theory is presented. ...
The need for such a logic has been identified by theorists of law [27] for long; several such logics are now developing, based on various non-monotonic foundations. ...
doi:10.1145/158976.159010
dblp:conf/icail/Schobbens93
fatcat:xxrazk7yijhb3bphwttfunqc4u
Page 1402 of Mathematical Reviews Vol. 26, Issue Index
[page]
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
., 94g:68102
Lakemeyer, Gerhard All I know about Tweety—preliminary report. ...
Hierarchical meta-logics: intuitions, proof theory and semantics. ...
Knowledge Representation and Reasoning
[chapter]
An Introduction to Knowledge Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Although we start with full first-order logic as a representation language, and logical entailment as the basis for reasoning, this is just the starting point, and a somewhat unrealistic one at that. ...
By exposing the heart of each style of representation, complemented by a discussion of the basics of reasoning with that representation, we aim to give the reader a solid foundation for understanding the ...
relations that are similar to entailment, but which are non-monotonic. ...
doi:10.1007/978-1-84628-667-4_4
fatcat:kciyh5tutbgyvkl6chv5zrg5ee
Combining Nonmonotonic Knowledge Bases with External Sources
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. ...
Furthermore, they provide a basis for advanced knowledge-based information systems, which are targeted in ongoing research projects. ...
Noticeably, reasoning within/across contexts is monotonic. Brewka et al. ...
doi:10.1007/978-3-642-04222-5_2
fatcat:ywmul3hqujhqvjmvpy5hnfslgu
Speech Acts for Dialogue Agents
[chapter]
1999
Applied Logic Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
ACKNOWLEDGMENTS The author's ideas on speech acts reported above have been greatly aided by conversations with many others, especially: James Allen, Jens Allwood, Harry ...
Appelt and Konolige [15] reformulate Perrault's theory in terms of Hierarchic Autoepistemic Logic [59] . ...
Non-monotonic Theories of Speech Acts Perrault [77] takes as a starting point the problem that the utterance itself is insufficient to determine the effects of a speech act. ...
doi:10.1007/978-94-015-9204-8_8
fatcat:yt3s5o4eyneczlucecsa4f3aua
Rough Sets and Rough Logic: A KDD Perspective
[chapter]
2000
Studies in Fuzziness and Soft Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
decision rules, patterns, dependencies in a degree, rough mereology, logic, propositional logic, predicate logic, modal logic, belief and belief revision logics, default logic, para-consistent logic, non-monotonic ...
Basic ideas of rough set theory were proposed by Zdzis law Pawlak [85, 86] in the early 1980's. ...
Non-monotonic reasoning is central for intelligent systems dealing with commonsense reasoning being non-monotonic. ...
doi:10.1007/978-3-7908-1840-6_13
fatcat:vy35ujzaszcwvevywvjcms4wzy
Non-deductive reasoning for the semantic web and software analysis
2008
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
These types are, for instance, non-monotonic reasoning and temporal reasoning. ...
Two typical types of non-monotonic reasoning are abductive reasoning and closed-world reasoning. ...
., SPAR-QL-ML queries for model induction and data classification) we limited our investigations to the I/O concepts of services, as we believe that they are the most informative for this task (cf. ...
doi:10.5167/uzh-16429
fatcat:4fat5kum6zbzfgqq3sjr2ya2y4
The well-founded semantics for general logic programs
1991
Journal of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Unfounded sets and well-founded semantics for general logic programs. ...
A preliminary version of this paper was presented at the Seventh ACM Symposium on Principles of Database Systems, 1988 (published as VANGELDER, A., Ross, K. A., AND SCHLIPF, J S. ...
completeness of non-Horn proof systems, but not for sets of Horn clauses. ...
doi:10.1145/116825.116838
fatcat:o5jbkhw67jgcdnhiguhq7cqyri
« Previous
Showing results 1 — 15 out of 29 results