Search results

Paper Abduction from logic programs: Semantics and complexity 1998-06-30 Paper On the indiscernibility of individuals in logic programming 1998-04-22 Paper...

Inductive Logic Programming 2007-11-15 Paper Inductive Logic Programming 2006-11-01 Paper Inductive Logic Programming 2006-11-01 Paper Inductive Logic Programming...

preferences using logic programming 2006-08-28 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Sequential and parallel algorithms...

temporal logic on data words 2016-10-07 Paper Definable relations and first-order query languages over strings 2015-11-12 Paper Two-variable logic on data...

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...

study of constraint logic programming and answer set programming solutions of combinatorial problems 2009-10-27 Paper Logic Programming 2009-08-06 Paper Recent...

2007-05-02 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Program Development in Computational Logic 2005-12-23 Paper Logic for Programming...

for the \(\pi\)-calculus 2006-01-10 Paper Programming Languages and Systems 2005-08-17 Paper Programming Languages and Systems 2005-08-17 Paper Dynamic Scaling...

semantics for declarative multi-paradigm languages 2007-10-19 Paper Logic Programming 2006-06-27 Paper Logic for Programming, Artificial Intelligence, and Reasoning...

law for logic with a fixed-point operator 1985-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3677736 1984-01-01 Paper A programming language for the...

de/entity/Q4452063 2004-02-11 Paper Associative language descriptions 2002-03-03 Paper Associative definition of programming languages 2001-11-08 Paper Grammar partitioning...

2007-02-13 Paper Logic Programming 2006-06-27 Paper Checking modes of HAL programs 2006-01-03 Paper Program Development in Computational Logic 2005-12-23 Paper...

2006-10-31 Paper Logic Programming 2006-06-27 Paper Logic Based Program Synthesis and Transformation 2005-12-27 Paper Logic Programming 2005-08-26 Paper...

2007-05-30 Paper Automata, Languages and Programming 2006-01-10 Paper Types for Proofs and Programs 2005-12-23 Paper Computer Science Logic 2005-08-22 Paper https://portal...

nondeterministic bits 2006-01-10 Paper Automata, Languages and Programming 2006-01-10 Paper Automata, Languages and Programming 2006-01-10 Paper The complexity of partition...

double categories as a semantic framework for tile logic 2002-05-14 Paper Soft constraint logic programming and generalized shortest path problems 2002-04-11...

of Context-Free Trace Languages 2011-02-15 Paper Graphs of grammars - derivations as parallel processes 2010-11-18 Paper Languages generated by context-free...

onlineSPARC: a programming environment for answer set programming 2019-09-19 Paper Introducing computer science to high school students through logic programming...

Paper Logic for Programming, Artificial Intelligence, and Reasoning 2005-11-10 Paper Programming Languages and Systems 2005-09-13 Paper Programming Languages...

Efficient access mechanisms for tabled logic programs 1999-05-04 Paper Semantics-based program analysis for logic-based languages using XSB 1998-01-01 Paper https://portal...