Results 301 to 310 of about 420,653 (327)
Determinate Literals in Inductive Logic Programming [PDF]
, 1991 A recent system, FOIL, constructs Horn clause programs from numerous examples. Computational efficiency is achieved by using greedy search guided by an information-based heuristic. Greedy search tends to be myopic but determinate terms, an adaptation of an idea introduced by another new system (GOLEM), has been found to provide many of the benefits of ...
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Logic Determined by Boolean Algebras with Conjugate
2006We give an axiomatic system of a logic characterized by the class of Boolean algebras with conjugate, which has a close connection with the theory of rough sets, and prove that the logic is decidable.
Michiro Kondo +2 more
openaire +1 more source
System-level Logical Execution Time
ACM Transactions on Cyber-Physical Systems, 2021Kai-Bjorn Gemlau +2 more
exaly
Agency, Reciprocal Determinism, and Desistance from Crime: a Reply to Thomas, Pogarsky, and Loughran
Journal of Developmental and Life-Course Criminology, 2021T. Brezina
semanticscholar +1 more source
Philosophical Reflections: Chance, Determinism and Indeterminism
Logica UniversalisLuis Mazas Niznik
semanticscholar +1 more source
International Journal of Foundations of Computer Science, 2013
J. Hromkovic +3 more
semanticscholar +1 more source
J. Hromkovic +3 more
semanticscholar +1 more source
International Conference on Developments in Language Theory, 2012
J. Hromkovic +3 more
semanticscholar +1 more source
J. Hromkovic +3 more
semanticscholar +1 more source