2303 search results - page 314 / 461 » On the logic of argumentation theory |
140
click to vote
ILP
2005
Springer
16 years 4 hour ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
173
click to vote
FOIKS
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf a...
181
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
In Twenty Problems in the Theory of Cellular Automata, Stephen Wolfram asks “how common computational universality and undecidability [are] in cellular automata.” This papers p...
150
click to vote
AIMSA
2000
Springer
15 years 11 months ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
188
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...