Found 17 Documents (Results 1–17)
Nonmonotonic inconsistency. (English) Zbl 1082.03508
An interpretation of default logic in minimal temporal epistemic logic. (English) Zbl 0997.03501
Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 105-124 (2001).
Abductive reasoning through filtering. (English) Zbl 0945.68161
MSC:
68T30
Note about cardinality-based circumscription. (English) Zbl 0945.68159
MSC:
68T30
Dynamic belief hierarchies. (English) Zbl 0957.03016
Meyer, John-Jules Ch. (ed.) et al., Formal models of agents. ESPRIT project model age final workshop. Certosa di Pertignano, Italy, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1760, 20-35 (1999).
MSC:
03B42
Diverse confidence levels in a probabilistic semantics for conditional logics. (English) Zbl 0940.03026
Dynamic obligation hierarchies. (English) Zbl 0940.03006
McNamara, P. (ed.) et al., Norms, logics and information systems. New studies in deontic logic and computer science. Selected papers of the 4th \(\Delta\)EON workshop, Bologna, Italy, January 8-10, 1998. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 49, 231-246 (1999).
MSC:
03A05
Epistemic logic for AI and computer science. (English) Zbl 0868.03001
Cambridge Tracts in Theoretical Computer Science. 41. Cambridge: Cambridge Univ. Press. xiii, 354 p. (1995).
Reviewer: Ch.Posthoff (St.Augustine)
NML3. A non-monotone logic with explicit default. (English) Zbl 0790.03022
MSC:
03B60
NM3 – a three-valued cumulative non-monotonic formalism. (English) Zbl 0789.03024
Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 196-211 (1991).
S4 as the conditional logic of nonmonotonicity. (English) Zbl 0765.03013
Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 357-367 (1991).
Combining logic and differential equations for describing real-world systems. (English) Zbl 0709.68043
Principles of knowledge representation and reasoning, Proc. 1st. Int. Conf., Toronto/Can. 1989, 412-420 (1989).
The semantics of non-monotonic entailment defined using partial interpretations. (English) Zbl 0675.03009
Non-monotonic reasoning, Proc. 2nd Int. Workshop, Grassau/FRG 1988, Lect. Notes Comput. Sci. 346,27-41 (1989).
Reviewer: J.Šefránek
New results on semantical nonmonotonic reasoning. (English) Zbl 0675.03008
Non-monotonic reasoning, Proc. 2nd Int. Workshop, Grassau/FRG 1988, Lect. Notes Comput. Sci. 346, 19-26 (1989).
Reviewer: J.Šefránek
Filter Results by …
Document Type
- Journal Articles (8)
- Collection Articles (8)
- Books (1)
all
top 5
Author
- Doherty, Patrick (2)
- Engelfriet, Joeri (2)
- Huang, Zhisheng (2)
- Moinard, Yves (2)
- Sandewall, Erik (2)
- Treur, Jan (2)
- Baral, Chitta R. (1)
- Brown, Allen L. jun. (1)
- Cross, Charles B. (1)
- Lamarre, Philippe (1)
- Łukaszewicz, Witold (1)
- Martin, Éric A. (1)
- Meyer, John-Jules Charles (1)
- Rolland, Raymond (1)
- Shoham, Yoav (1)
- Snow, Paul (1)
- van der Hoek, Wiebe (1)
all
top 5
Serial
- Artif. Intell. (4)
- Stud. Log. (1)
- J. Logic Lang. Inf. (1)
- J. Appl. Non-Class. Log. (1)
- Log. J. IGPL (1)
- Camb. Tracts Theor. Comput. Sci. (1)