275 search results - page 9 / 55 » Non-Termination Inference of Logic Programs |
148
Voted
EPIA
1997
Springer
15 years 7 months ago
1997
Springer
Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...
132
Voted
IJCAI
1993
15 years 4 months ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
267
Voted
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
155
Voted
ATAL
1997
Springer
15 years 7 months ago
1997
Springer
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
151
Voted
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...