Results 241 to 250 of about 10,419 (259)
Some of the next articles are maybe not open access.
Proof Procedures for Disjunctive Logic Programming
1994Several proof procedures have been explicitly proposed for the pure (without nonmonotonic negation) Disjunctive Logic Programming (DLP) domain. These include SLO-resolution (Rajasekar, Minker), SLI-resolution (Minker, Zanon) and near-Horn Prolog in several variants (Loveland, Reed).
openaire +1 more source
Probabilistic Logic Networks for Temporal and Procedural Reasoning
Lecture Notes in Computer Science, 2023Nil Geisweiller
exaly
Logic Programs as Declarative and Procedural Bias in Inductive Logic Programming
2013Machine Learning is necessary for the development of Artificial Intelligence, as pointed out by Turing in his 1950 article ``Computing Machinery and Intelligence''. It is in the same article that Turing suggested the use of computational logic and background knowledge for learning.
openaire +3 more sources
Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs
Lecture Notes in Computer Science, 2004Linh Anh Nguyen, Nguyen Linh Anh
exaly
A logic-based transformation system
IEEE Transactions on Knowledge and Data Engineering, 1998J J P Tsai, T Weigert
exaly
Procedural modeling in architecture based on statistical and fuzzy inference
Automation in Construction, 2013Vesna Stojakovic, Bojan Tepavcevic
exaly
Relating sentences and semantic networks with procedural logic
Communications of the ACM, 1982exaly
A Procedural Semantics for Multi-adjoint Logic Programming
Lecture Notes in Computer Science, 2002Peter Vojtáš +2 more
exaly
Substantive and procedural norms in normative multiagent systems
Journal of Applied Logic, 2008Guido Boella, Leendert Van Der Torre
exaly