Result 1 to 20 of 34 total
Accepting the natural order of rules in a logic program with preferences. (English)
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6‒10, 2011. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPICS ‒ Leibniz International Proceedings in Informatics 11, 284-289, electronic only (2011).
1
A defeasible logic for clauses. (English)
Wang, Dianhui (ed.) et al., AI 2011: Advances in artificial intelligence. 24th Australasian joint conference, Perth, Australia, December 5‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25831-2/pbk). Lecture Notes in Computer Science 7106. Lecture Notes in Artificial Intelligence, 472-480 (2011).
2
Local closed world reasoning with description logics under the well-founded semantics. (English)
Artif. Intell. 175, No. 9-10, 1528-1554 (2011).
3
Implementing knowledge update sequences. (English)
Gelbukh, Alexander (ed.) et al., MICAI 2007: Advances in artificial intelligence. 6th Mexican international conference on artificial intelligence, Aguascalientes, Mexico, November 4‒10, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-76630-8/pbk). Lecture Notes in Computer Science 4827. Lecture Notes in Artificial Intelligence, 260-270 (2007).
4
Implementing knowledge update sequences. (English)
Gelbukh, Alexander (ed.) et al., MICAI 2007: Advances in artificial intelligence. 6th Mexican international conference on artificial intelligence, Aguascalientes, Mexico, November 4‒10, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-76630-8/pbk). Lecture Notes in Computer Science 4827. Lecture Notes in Artificial Intelligence, 1-8 (2007).
5
Reasoning under minimal upper bounds in propositional logic. (English)
Theor. Comput. Sci. 369, No. 1-3, 82-115 (2006).
6
Knowledge representation techniques. A rough set approach. (English)
Studies in Fuzziness and Soft Computing 202. Berlin: Springer (ISBN 3-540-33518-8/hbk). vi, 342~p. EUR~139.05 (2006).
7
Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs. (English)
Ann. Math. Artif. Intell. 45, No. 1-2, 83-171 (2006).
8
Relating defeasible and normal logic programming through transformation properties. (English)
Theor. Comput. Sci. 290, No. 1, 499-529 (2003).
9
Soft computing agents. New trends for designing autonomous systems. (English)
Studies in Fuzziness and Soft Computing. 75. Heidelberg: Physica-Verlag. viii, 221 p. DM 117.59; \sterling 40.50; sFr 101.65; \$ 72.00 (2001).
10
A universal fixpoint semantics for ordered logic. (English)
Comput. Artif. Intell. 19, No.3, 221-254 (2000).
11
Logic programming with non-monotonic semantics: representing knowledge and its computation. (English)
Ann. Math. Artif. Intell. 25, No.3-4, 161-422 (1999).
12
Knowledge representation. (La représentation des connaissances.) (French)
Paris: Édition Hermès. ix, 308 p. FF 290.00 (1997).
13
Non-monotonic extensions of logic programming. ICLP ’94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected papers. (English)
Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence. 927. Berlin: Springer-Verlag. vi, 229 p. DM 54.00; öS 421.20; sFr 52.00 (1995).
14
A knowledge representation perspective: Logics for paraconsistent reasoning. (English)
Int. J. Intell. Syst. 9, No.1, 153-168 (1994).
15
Well-founded semantics and stratification for ordered logic programs. (English)
New Generation Comput. 12, No.1, 91-121 (1993).
16
Truth maintenance systems and their application for verifying expert system knowledge bases. (English)
Artif. Intell. Rev. 6, No.1, 67-110 (1992).
17
Reasoning under uncertainty. Raisonnements sur des informations incomplètes. (Schließen bei unsicherem Wissen in der Künstlichen Intelligenz. Vergleich von Formalismen anhand eines Beispiels. Übers. aus dem Franz. von Peter Seidenspinner und Camilla Schwind.) (German)
Braunschweig etc.: Vieweg. VIII, 181 p. (1992).
18
Non-monotonic set theoretic operations. (English)
Fuzzy Sets Syst. 42, No.2, 173-190 (1991).
19
Why Friedman’s non-monotonic reasoning defies Hempel’s covering law model. (English)
Synthese 86, No.2, 255-284 (1991).
20
Result 1 to 20 of 34 total
Start
Contact
Print
General Help
