Sciweavers

13090 search results - page 293 / 2618
» Usable artificial intelligence
Sort
View
143
Voted
AI
2006
Springer
15 years 6 months ago
Dialectic proof procedures for assumption-based, admissible argumentation
Phan Minh Dung, Robert A. Kowalski, Francesca Toni
AMAI
2006
Springer
15 years 6 months ago
Conceptual logic programs
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
AMAI
2006
Springer
15 years 6 months ago
A formal mathematical framework for modeling probabilistic hybrid systems
Robert St-Aubin, Joel Friedman, Alan K. Mackworth
KI
2008
Springer
15 years 6 months ago
Augmenting Cognition With a Digital Episodic Memory
Alexander Kröner, Anthony Jameson, Michael Sc...
AI
2005
Springer
15 years 6 months ago
Reasoning on UML class diagrams
Daniela Berardi, Diego Calvanese, Giuseppe De Giac...