1588 search results - page 213 / 318 » On the Logic of Constitutive Rules |
121
click to vote
ACRI
2004
Springer
15 years 6 months ago
2004
Springer
This paper discusses a class of 2-dimensional asynchronous cellular automata with conservation of mass, for the formation of patterns in groups. The previous study reported a metho...
102
click to vote
WADT
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
114
click to vote
ADL
1997
Springer
15 years 5 months ago
1997
Springer
Successful applications of digital libraries require structured access to sources of information. This paper presents an approach to extract the logical structure of text document...
131
click to vote
ECML
2006
Springer
15 years 5 months ago
2006
Springer
We describe a reinforcement learning system that transfers skills from a previously learned source task to a related target task. The system uses inductive logic programming to ana...
131
click to vote
AAAI
2007
15 years 3 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...