Found 4 Documents (Results 1–4)
On generalization and subsumption for ordered clauses. (English) Zbl 1227.68104
Washio, Takashi (ed.) et al., New frontiers in artificial intelligence. Joint JSAI 2005 workshop post-proceedings. Berlin: Springer (ISBN 978-3-540-35470-3/pbk). Lecture Notes in Computer Science 4012. Lecture Notes in Artificial Intelligence, 212-223 (2006).
Agenda control for heterogeneous reasoners. (English) Zbl 1101.68450
MSC:
68N17
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (1)
all
top 5
Author
- Bradley, Elizabeth (1)
- Harao, Masateru (1)
- Hirata, Kouichi (1)
- Hogan, Apollo (1)
- Kuwabara, Megumi (1)
- Muggleton, Stephen H. (1)
- Ogawa, Takeshi (1)
- Prade, Henri M. (1)
- Serrurier, Mathieu (1)
- Stolle, Reinhard (1)
- Tamaddoni-Nezhad, Alireza (1)
Serial
- Inf. Sci. (1)
- Mach. Learn. (1)
- J. Log. Algebr. Program. (1)
Main Field
- 68-XX (4)
