Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Open Access
Knowledge-based proof planning
Artificial intelligence, 1999-11, Vol.115 (1), p.65-105
1999
Link zum Volltext



Artificial Intelligence and Soft Computing - ICAISC 2004, 2004, p.91-101
2004
Link zum Volltext

Artificial intelligence, 2008-04, Vol.172 (6), p.656-684
2008
Link zum Volltext

KI 2006: Advances in Artificial Intelligence, p.445-445
Link zum Volltext

KI 2004: Advances in Artificial Intelligence, 2004, p.3-28
2004
Link zum Volltext

Reasoning, Action and Interaction in AI Theories and Systems, p.45-58
Link zum Volltext


Ωmega
The Seventeen Provers of the World, p.127-141
Link zum Volltext


Towards Affordance-Based Robot Control, 2008, Vol.4760, p.106-121
2008
Link zum Volltext


Open Access
Planning diagonalization proofs
Artificial Intelligence: Methodology, Systems, and Applications, 1998, p.167-180
1998
Link zum Volltext

Inductive Logic Programming, 2008, Vol.5194, p.42-58
2008
Link zum Volltext

Open Access
Unintended Nuclear War
KI. Künstliche Intelligenz (Oldenbourg), 2021-03, Vol.35 (1), p.119-121
2021
Link zum Volltext

Journal of experimental & theoretical artificial intelligence, 2000-10, Vol.12 (4), p.383-406
2000
Link zum Volltext


Machine Learning and Data Mining in Pattern Recognition, 2007, Vol.4571, p.2-16
2007
Link zum Volltext

Knowledge-Based Intelligent Information and Engineering Systems, 2008, Vol.5177, p.401-408
2008
Link zum Volltext

Case-Based Reasoning Research and Development, 2007, Vol.4626, p.478-491
2007
Link zum Volltext



Aktive Filter
ThemaInformatika
ThemaComputer Science, Artificial Intelligence