UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Answer Set Programming

Lifschitz, Vladimir

1st ed. 2019., 2019

Volltextzugriff (PDF)

BWIBots: A platform for bridging the gap between AI and human–robot interaction research

The International journal of robotics research, 2017-06, Vol.36 (5-7), p.635-659

2017

Volltextzugriff (PDF)

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings

1, 2004

Volltextzugriff (PDF)

Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings

1, 2003

Volltextzugriff (PDF)

On Program Completion, with an Application to the Sum and Product Puzzle

Theory and practice of logic programming, 2023-07, Vol.23 (4), p.664-677

LIFSCHITZ, VLADIMIR

2023

Volltextzugriff (PDF)

Strong Equivalence of Logic Programs with Counting

Theory and practice of logic programming, 2022-07, Vol.22 (4), p.573-588

LIFSCHITZ, VLADIMIR

2022

Volltextzugriff (PDF)

Here and There with Arithmetic

Theory and practice of logic programming, 2021-11, Vol.21 (6), p.735-749

LIFSCHITZ, VLADIMIR

2021

Volltextzugriff (PDF)

Strongly equivalent logic programs

ACM transactions on computational logic, 2001-10, Vol.2 (4), p.526-541

2001

Volltextzugriff (PDF)

Answer Sets and the Language of Answer Set Programming

The AI magazine, 2016-09, Vol.37 (3), p.7-11

Lifschitz, Vladimir

2016

Volltextzugriff (PDF)

Proceedings 38th International Conference on Logic Programming: Transforming Gringo Rules into Formulas in a Natural Way

Electronic proceedings in theoretical computer science, 2022-08, Vol.364, p.129-131

Lifschitz, Vladimir

2022

Volltextzugriff (PDF)

Achievements in answer set programming

Theory and practice of logic programming, 2017-09, Vol.17 (5-6), p.961-973

LIFSCHITZ, VLADIMIR

2017

Volltextzugriff (PDF)

Positive Dependency Graphs Revisited

Theory and practice of logic programming, 2023-09, Vol.23 (5), p.1128-1137

2023

Volltextzugriff (PDF)

Answer set programming and plan generation

Artificial intelligence, 2002-06, Vol.138 (1), p.39-54

Lifschitz, Vladimir

2002

Volltextzugriff (PDF)

Stable models and circumscription

Artificial intelligence, 2011, Vol.175 (1), p.236-263

2011

Volltextzugriff (PDF)

Relating Two Dialects of Answer Set Programming

Theory and practice of logic programming, 2019-09, Vol.19 (5-6), p.1006-1020

2019

Volltextzugriff (PDF)

Proceedings 37th International Conference on Logic Programming (Technical Communications): Verification of Locally Tight Programs (Extended Abstract)

Electronic proceedings in theoretical computer science, 2021-09, Vol.345, p.68-69

2021

Volltextzugriff (PDF)

Locally Tight Programs

Theory and practice of logic programming, 2024-01, p.1-31

2024

Volltextzugriff (PDF)

John McCarthy (1927–2011)

Nature (London), 2011-12, Vol.480 (7375), p.40-40

Lifschitz, Vladimir

2011

Volltextzugriff (PDF)

John McCarthy : the scientist who set computers on the path to common sense

Nature (London), 2011-12, Vol.480 (7375), p.40

Lifschitz, Vladimir

2011

Volltextzugriff (PDF)

The Dramatic True Story of the Frame Default

Journal of philosophical logic, 2015-04, Vol.44 (2), p.163-176

Lifschitz, Vladimir

2015

Volltextzugriff (PDF)

Transforming Gringo Rules into Formulas in a Natural Way

Logics in Artificial Intelligence, p.421-434

Volltextzugriff (PDF)

Infinitary equilibrium logic and strongly equivalent logic programs

Artificial intelligence, 2017-05, Vol.246, p.22-33

2017

Volltextzugriff (PDF)

External Behavior of a Logic Program and Verification of Refactoring

Theory and practice of logic programming, 2023-07, Vol.23 (4), p.933-947

2023

Volltextzugriff (PDF)

Classical negation in logic programs and disjunctive databases

New generation computing, 1991-08, Vol.9 (3-4), p.365-385

1991

Volltextzugriff (PDF)

Verifying Tight Logic Programs with anthem and vampire

Theory and practice of logic programming, 2020-09, Vol.20 (5), p.735-750

2020

Volltextzugriff (PDF)

1 – 25 von 323

Menü

Weitere Dienste

Einstellungen

Answer Set Programming

BWIBots: A platform for bridging the gap between AI and human–robot interaction research

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings

Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings

On Program Completion, with an Application to the Sum and Product Puzzle

Strong Equivalence of Logic Programs with Counting

Here and There with Arithmetic

Strongly equivalent logic programs

Answer Sets and the Language of Answer Set Programming

Proceedings 38th International Conference on Logic Programming: Transforming Gringo Rules into Formulas in a Natural Way

Achievements in answer set programming

Positive Dependency Graphs Revisited

Answer set programming and plan generation

Stable models and circumscription

Relating Two Dialects of Answer Set Programming

Proceedings 37th International Conference on Logic Programming (Technical Communications): Verification of Locally Tight Programs (Extended Abstract)

Locally Tight Programs

John McCarthy (1927–2011)

John McCarthy : the scientist who set computers on the path to common sense

The Dramatic True Story of the Frame Default

Transforming Gringo Rules into Formulas in a Natural Way

Infinitary equilibrium logic and strongly equivalent logic programs

External Behavior of a Logic Program and Verification of Refactoring

Classical negation in logic programs and disjunctive databases

Verifying Tight Logic Programs with anthem and vampire

Suchergebnisse filtern