Search results

Fernando Silva
2006-10-19 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Logic Programming 2005-08-26 Paper Euro-Par 2004 Parallel Processing 2005-08-23...

10 bytes (17 words) - 16:36, 27 February 2024
Carlos Iván Chesñevar
uncertainty in a logic programming setting 2014-08-01 Paper Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy...

10 bytes (18 words) - 20:42, 12 December 2023
Antonis C. Kakas
2006-10-27 Paper Inductive Logic Programming 2006-10-19 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Logic Programming and Nonmonotonic Reasoning...

10 bytes (19 words) - 06:49, 12 December 2023
Katsumi Inoue
Equivalence in First-order Logic 2006-11-30 Paper Inductive Logic Programming 2006-11-01 Paper Inductive Logic Programming 2006-11-01 Paper Theoretical...

10 bytes (16 words) - 15:59, 11 December 2023
John N. Hooker
near-optimal integer programming solutions 2020-06-26 Paper A Brief Tour of Logic and Optimization 2019-10-30 Paper Consistency for \(0-1\) programming 2019-10-14...

10 bytes (19 words) - 18:24, 9 December 2023
Thomas Eiter
Nonmonotonic Logic Programs 2009-11-10 Paper Answer Set Programming: A Primer 2009-10-28 Paper Logic Programming 2009-08-06 Paper Logic Programming 2009-08-06...

10 bytes (17 words) - 12:36, 8 December 2023
Agostino Dovier
study of constraint logic programming and answer set programming solutions of combinatorial problems 2009-10-27 Paper Logic Programming 2009-08-06 Paper Recent...

10 bytes (17 words) - 07:45, 9 December 2023
Marco Gavanelli
Compliance: From LTL to Abductive Logic Programming 2018-05-03 Paper Reasoning on Datalog± Ontologies with Abductive Logic Programming 2018-05-03 Paper A network...

10 bytes (17 words) - 15:06, 9 December 2023
Francisco J. López Fraguas
for functional logic programming with constraints 2007-05-21 Paper A proof theoretic approach to failure in functional logic programming 2004-09-24 Paper...

10 bytes (20 words) - 03:05, 13 December 2023
Jorge Fandinno
Inhibitors in Causal Justifications of Logic Programs 2015-11-04 Paper Causal Graph Justifications of Logic Programs 2014-11-25 Paper...

10 bytes (16 words) - 12:21, 28 January 2024
Stephen H. Muggleton
Inductive Logic Programming: Theory and methods 1994-10-13 Paper Predicate invention and utilization 1994-05-03 Paper Inductive logic programming 1991-01-01...

10 bytes (19 words) - 06:05, 9 December 2023
Grigoris Antoniou
the cumulativity of justified default logic 1998-01-01 Paper A correct logic programming computation of default logic extensions 1997-09-03 Paper https://portal...

10 bytes (17 words) - 14:36, 11 December 2023
Elvira Pino
Embedded Implications of Normal Logic Programs 2009-01-15 Paper A functorial framework for constraint normal logic programming 2008-07-30 Paper A Functorial...

10 bytes (16 words) - 00:18, 12 December 2023
Chitta R. Baral
in Modular Answer Set Programming 2008-03-11 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning...

10 bytes (19 words) - 02:43, 9 December 2023
Paolo Mancarella
extended logic programming 2022-08-30 Paper https://portal.mardi4nfdi.de/entity/Q5116415 2020-08-25 Paper On argumentation logic and propositional logic 2018-04-16...

10 bytes (16 words) - 08:53, 13 December 2023
Phan Minh Dung
argumentation-theoretic foundation for logic programming 1995-04-09 Paper Negation as failure for disjunctive logic programming 1994-01-01 Paper On the relations...

10 bytes (19 words) - 19:03, 9 December 2023
Angelika Kimmig
ompilation for inference in probabilistic logic programs 2016-10-17 Paper Probabilistic (logic) programming concepts 2015-12-02 Paper Lifted graphical...

10 bytes (16 words) - 02:31, 11 December 2023
Frank D. Valencia
mardi4nfdi.de/entity/Q3396569 2009-09-19 Paper Logic Programming 2009-08-06 Paper Logic Programming 2009-08-06 Paper On the Expressive Power of Restriction...

10 bytes (18 words) - 11:55, 11 December 2023
Koen V. Hindriks
into Agent Programming Languages 2009-02-12 Paper Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming 2009-02-12...

10 bytes (18 words) - 21:46, 12 December 2023
Michael J. Maher
defeasible logic into logic programming 2007-02-13 Paper Oracle semantics for Prolog 2006-10-10 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27...

10 bytes (18 words) - 18:25, 12 December 2023