367 search results - page 29 / 74 » Prolog |
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
LPNMR
2004
Springer
14 years 1 months ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
ICSE
1993
IEEE-ACM
13 years 12 months ago
1993
IEEE-ACM
Wepresent a model based onan expert-systemapproach for the scavenging of reusable componentsfrom exis:ing software systems. We also describe a toolset called Code Miner that imple...
ICML
1989
IEEE
13 years 12 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
LICS
1989
IEEE
13 years 12 months ago
1989
IEEE
A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the...