|
enhanced by Google
|
The semantics of logic refers to the approaches that logicians have introduced to understand and determine that part of meaning in which they are interested ...
en.wikipedia.org/wiki/Formal_semantics - Similar
On Greatest Fixpoint Semantics of Logic Programming. Mathieu Jaume1. 1 KIP6—SPI, Université Paris 6, 8 rue du Capitaine Scott, 75015 Paris, France. ...
logcom.oxfordjournals.org/cgi/content/abstract/12/2/321 - Similar
In this paper we introduce a semantics of logic programs based on the class PERF (P) of all, not necessarily Herbrand, perfect models of a program P and we ...
citeseer.ist.psu.edu/przymusinski95declarative.html - Similar
CiteSeerX - Document Details (Isaac Councill, Lee Giles): We investigate the semantics of aggregates (count, sum, : : :) in logic programs with function ...
citeseer.ist.psu.edu/176820.html - Similar
Essay by Gilbert Harman, arguing for Prawitz's approach to the semantics of logic based upon a conceptual role semantics. ...
www.google.com/Top/Society/Philosophy/Philosophy_of_L... - Similar
Yann Loyer , Nicolas Spyratos , Daniel Stamate, Parametrized semantics of logic programs: a unifying framework, Theoretical Computer Science, v.308 n.1-3, ...
portal.acm.org/citation.cfm?id=114539 - Similar
Home > Humanities > Philosophy > Philosophy of Logic > Semantics of Logic. Web Sites. Torkel Franzen. Torkel Franzen torkel@sm.luth.se +46 920 491108 (work) ...
www.einet.net/directory/971140/Semantics_of_Logic.htm - Similar
Jul 17, 2001 ... Title: An interactive semantics of logic programming ... abstract semantics consistent with the most common semantics of logic programming. ...
arxiv.org/abs/cs/0107022 - Similar
On the Semantics of Logic Programs with Preferences not a in the body and a ∈ M , and ii) removing all negated atoms from the remaining rules. ...
www.jair.org/media/2371/live-2371-3586-jair.pdf - Similar
M.C. Fitting, Bilattices and the semantics of logic programming. J. Logic Programming 11 (1991), pp. 91–116. Abstract | PDF (1974 K) | MathSciNet | View ...
linkinghub.elsevier.com/retrieve/pii/S0304397503000471 - Similar
|
|