4421 search results - page 411 / 885 » Libraries |
142
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
Active learning is an e ective learning approach. In this paper, we present an intelligent agent assisted environment for active learning. The system is to better support studentc...
238
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
140
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
123
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. We present randoCoP, a theorem prover for classical firstorder logic, which integrates randomized search techniques into the connection prover leanCoP 2.0. By randomly re...
135
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...