Výsledky vyhľadávania - "Theory and practice of logic programming"

ASP-Core-2 Input Language Format Autor CALIMERI, FRANCESCO, FABER, WOLFGANG, GEBSER, MARTIN, IANNI, GIOVAMBATTISTA, KAMINSKI, ROLAND, KRENNWALLNER, THOMAS, LEONE, NICOLA, MARATEA, MARCO, RICCA, FRANCESCO, SCHAUB, TORSTEN

“…Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the…”
Získať plný text

Multi-shot ASP solving with clingo Autor GEBSER, MARTIN, KAMINSKI, ROLAND, KAUFMANN, BENJAMIN, SCHAUB, TORSTEN

“…We introduce a new flexible paradigm of grounding and solving in Answer Set Programming (ASP), which we refer to as multi-shot ASP solving, and present its…”
Získať plný text

Constraint Answer Set Programming without Grounding Autor ARIAS, JOAQUIN, CARRO, MANUEL, SALAZAR, ELMER, MARPLE, KYLE, GUPTA, GOPAL

“…Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in…”
Získať plný text

Inference and learning in probabilistic logic programs using weighted Boolean formulas Autor FIERENS, DAAN, VAN DEN BROECK, GUY, RENKENS, JORIS, SHTERIONOV, DIMITAR, GUTMANN, BERND, THON, INGO, JANSSENS, GERDA, DE RAEDT, LUC

“…Probabilistic logic programs are logic programs in which some of the facts are annotated with probabilities. This paper investigates how classical inference…”
Získať plný text

Fifty Years of Prolog and Beyond Autor KÖRNER, PHILIPP, LEUSCHEL, MICHAEL, BARBOSA, JOÃO, COSTA, VÍTOR SANTOS, DAHL, VERÓNICA, HERMENEGILDO, MANUEL V., MORALES, JOSE F., WIELEMAKER, JAN, DIAZ, DANIEL, ABREU, SALVADOR, CIATTO, GIOVANNI

“…Both logic programming in general and Prolog in particular have a long and fascinating history, intermingled with that of many disciplines they inherited from…”
Získať plný text

SWI-Prolog Autor WIELEMAKER, JAN, SCHRIJVERS, TOM, TRISKA, MARKUS, LAGER, TORBJÖRN

“…SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its…”
Získať plný text

An ASP-based Solution to the Chemotherapy Treatment Scheduling problem Autor DODARO, CARMINE, GALATÁ, GIUSEPPE, GRIONI, ANDREA, MARATEA, MARCO, MOCHI, MARCO, PORRO, IVAN

“…The problem of scheduling chemotherapy treatments in oncology clinics is a complex problem, given that the solution has to satisfy (as much as possible)…”
Získať plný text

Answer Set Planning: A Survey Autor CAO TRAN, SON, PONTELLI, ENRICO, BALDUCCINI, MARCELLO, SCHAUB, TORSTEN

“…Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans , that is, solutions to planning problems, that transform a given state…”
Získať plný text

How to Build Your Own ASP-based System? Autor KAMINSKI, ROLAND, ROMERO, JAVIER, SCHAUB, TORSTEN, WANKO, PHILIPP

“…Answer Set Programming, or ASP for short, has become a popular and sophisticated approach to declarative problem solving. Its popularity is due to its…”
Získať plný text

Clingo goes linear constraints over reals and integers Autor JANHUNEN, TOMI, KAMINSKI, ROLAND, OSTROWSKI, MAX, SCHELLHORN, SEBASTIAN, WANKO, PHILIPP, SCHAUB, TORSTEN

“…The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We…”
Získať plný text

A Neuro-Symbolic ASP Pipeline for Visual Question Answering Autor EITER, THOMAS, HIGUERA, NELSON, OETSCH, JOHANNES, PRITZ, MICHAEL

“…We present a neuro-symbolic visual question answering (VQA) pipeline for CLEVR, which is a well-known dataset that consists of pictures showing scenes with…”
Získať plný text

Answering the “why” in answer set programming – A survey of explanation approaches Autor FANDINNO, JORGE, SCHULZ, CLAUDIA

“…Artificial intelligence (AI) approaches to problem-solving and decision-making are becoming more and more complex, leading to a decrease in the…”
Získať plný text

sm ProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation Autor TOTIS, PIETRO, DE RAEDT, LUC, KIMMIG, ANGELIKA

“…Argumentation problems are concerned with determining the acceptability of a set of arguments from their relational structure. When the available information…”
Získať plný text

Analysis and Transformation of Constrained Horn Clauses for Program Verification Autor DE ANGELIS, EMANUELE, FIORAVANTI, FABIO, GALLAGHER, JOHN P., HERMENEGILDO, MANUEL V., PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO

“…This paper surveys recent work on applying analysis and transformation techniques that originate in the field of constraint logic programming (CLP) to the…”
Získať plný text

Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications Autor CAUTERUCCIO, FRANCESCO, TERRACINA, GIORGIO

“…Detecting sets of relevant patterns from a given dataset is an important challenge in data mining. The relevance of a pattern, also called utility in the…”
Získať plný text

An ASP approach for reasoning in a concept-aware multipreferential lightweight DL Autor Giordano, Laura, Theseider Dupré, Daniele

“…In this paper we develop a concept aware multi-preferential semantics for dealing with typicality in description logics, where preferences are associated with…”
Získať plný text

The Seventh Answer Set Programming Competition: Design and Results Autor GEBSER, MARTIN, MARATEA, MARCO, RICCA, FRANCESCO

“…Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP…”
Získať plný text

Verifying Tight Logic Programs with anthem and vampire Autor FANDINNO, JORGE, LIFSCHITZ, VLADIMIR, LÜHNE, PATRICK, SCHAUB, TORSTEN

“…This paper continues the line of research aimed at investigating the relationship between logic programs and first-order theories. We extend the definition of…”
Získať plný text

Abstract gringo Autor GEBSER, MARTIN, HARRISON, AMELIA, KAMINSKI, ROLAND, LIFSCHITZ, VLADIMIR, SCHAUB, TORSTEN

“…This paper defines the syntax and semantics of the input language of the ASP grounder gringo. The definition covers several constructs that were not discussed…”
Získať plný text

Conflict-Driven Inductive Logic Programming Autor LAW, MARK

“…The goal of inductive logic programming (ILP) is to learn a program that explains a set of examples. Until recently, most research on ILP targeted learning…”
Získať plný text