Sciweavers

3468 search results - page 77 / 694
» An open logical framework
Sort
View
84
Voted
CADE
2006
Springer
16 years 28 days ago
Automatic Termination Proofs in the Dependency Pair Framework
Jürgen Giesl, Peter Schneider-Kamp, Ren&eacut...
CIA
2006
Springer
15 years 4 months ago
A Framework of Cooperative Agents with Implicit Support for Ontologies
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
Riza Cenk Erdur, Inanç Seylan
77
Voted
ACL
2009
14 years 10 months ago
A Framework for Entailed Relation Recognition
We define the problem of recognizing entailed relations
Dan Roth, Mark Sammons, V. G. Vinod Vydiswaran
IAT
2010
IEEE
14 years 10 months ago
A Framework for Developing Agent-Based Distributed Applications
Abstract--The development of large-scale distributed multiagent systems in open dynamic environments is a challenge. System behavior is often not predictable and can only be evalua...
Michel Oey, Sander van Splunter, Elth Ogston, Mart...
ICML
2008
IEEE
16 years 1 months ago
Knows what it knows: a framework for self-aware learning
We introduce a learning framework that combines elements of the well-known PAC and mistake-bound models. The KWIK (knows what it knows) framework was designed particularly for its...
Lihong Li, Michael L. Littman, Thomas J. Walsh