Found 16 Documents (Results 1–16)
Equilibrium logic. (English) Zbl 1117.03039
Reviewer: Nail Zamov (Kazan)
Agenda control for heterogeneous reasoners. (English) Zbl 1101.68450
MSC:
68N17
Reasoning about nonlinear system identification. (English) Zbl 0984.68158
MSC:
68T50
68U20
Programming in metric temporal logic. (English) Zbl 0902.68029
MSC:
68N17
68T15
An abstract interpretation framework for optimizing dynamic modular logic languages. (English) Zbl 1022.68501
Hypothetical updates, priority and inconsistency in a logic programming language. (English) Zbl 1496.68316
Marek, V. W. (ed.) et al., Logic programming and nonmonotonic reasoning. Third international conference, LPNMR ’95, Lexington, KY, USA, June 26–28, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 928, 203-216 (1995).
Intuitionistic interpretation of deductive databases with incomplete information. (English) Zbl 0938.68618
MSC:
68P15
The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics. (English) Zbl 0808.03025
Reviewer: U.Schöning (Ulm)
The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic. (English) Zbl 0796.68116
Extending Horn clause logic with implication goals. (English) Zbl 0754.68109
Reviewer: A.Leitsch (Wien)
Filter Results by …
Document Type
- Journal Articles (15)
- Collection Articles (1)
all
top 5
Author
- Bradley, Elizabeth (2)
- Chen, Cheng-Chia (2)
- Giordano, Laura (2)
- Lamma, Evelina (2)
- Martelli, Alberto (2)
- Mello, Paola (2)
- Stolle, Reinhard (2)
- Bonner, Anthony J. (1)
- Brogi, Antonio (1)
- Brzoska, Christoph (1)
- Ciampolini, Anna (1)
- Delahaye, Jean-Paul (1)
- Dong, Fangqing (1)
- Easley, Matthew (1)
- Fitting, Melvin Chris (1)
- Gabbay, Dov M. (1)
- Hogan, Apollo (1)
- Lakshmanan, Laks V. S. (1)
- Lin, I-Peng (1)
- Navarro, Marisa (1)
- Olivetti, Nicola (1)
- Orejas, Fernando (1)
- Pasarella, Edelmira (1)
- Pin, I-Peng (1)
- Pino, Elvira (1)
- Rossi, Gianfranco (1)
- Thibau, V. (1)
