Miroslaw Truszczynski | DeepAI

AI Chat

Featured Co-authors

Liu Liu
87 publications
Chitta Baral
86 publications
Stefan Woltran
42 publications
Frank Wolter
31 publications
Francesco Ricca
25 publications
Marc Denecker
25 publications
Joost Vennekens
23 publications
Yuliya Lierler
22 publications
Wolfgang Faber
19 publications
Thomas Meyer
15 publications
Giovanni Amendola
7 publications

∙ 08/08/2023

Current and Future Challenges in Knowledge Representation and Reasoning

Knowledge Representation and Reasoning is a central, longstanding, and a...

0 James P. Delgrande, et al. ∙

∙ 09/22/2020

Automated Aggregator – Rewriting with the Counting Aggregate

Answer set programming is a leading declarative constraint programming p...

0 Michael Dingess, et al. ∙

∙ 09/18/2019

Encoding Selection for Solving Hamiltonian Cycle Problems with ASP

It is common for search and optimization problems to have alternative eq...

0 Liu Liu, et al. ∙

∙ 04/25/2019

Maximin share allocations on cycles

The problem of fair division of indivisible goods is a fundamental probl...

0 Zbigniew Lonc, et al. ∙

∙ 01/26/2019

The informal semantics of Answer Set Programming: A Tarskian perspective

In Knowledge Representation, it is crucial that knowledge engineers have...

0 Marc Denecker, et al. ∙

∙ 02/11/2018

New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs

We propose two models of random quantified boolean formulas and their na...

0 Giovanni Amendola, et al. ∙

∙ 12/20/2013

Abstract Modular Systems and Solvers

Integrating diverse formalisms into modular knowledge representation sys...

0 Yuliya Lierler, et al. ∙

∙ 05/21/2012

The View-Update Problem for Indefinite Databases

This paper introduces and studies a declarative framework for updating v...

0 Luciano Caroprese, et al. ∙

∙ 12/04/2011

Strong Equivalence of Qualitative Optimization Problems

We introduce the framework of qualitative optimization problems (or, sim...

0 Wolfgang Faber, et al. ∙

∙ 08/16/2011

Origins of Answer-Set Programming - Some Background And Two Personal Accounts

We discuss the evolution of aspects of nonmonotonic reasoning towards th...

0 Victor W. Marek, et al. ∙

∙ 08/16/2011

Revisiting Epistemic Specifications

In 1991, Michael Gelfond introduced the language of epistemic specificat...

0 Miroslaw Truszczynski, et al. ∙

∙ 08/16/2011

Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too

A fact apparently not observed earlier in the literature of nonmonotonic...

0 Marc Denecker, et al. ∙

∙ 05/03/2011

Transition Systems for Model Generators - A Unifying Approach

A fundamental task for propositional logic is to compute models of propo...

0 Yuliya Lierler, et al. ∙

∙ 07/23/2009

Relativized hyperequivalence of logic programs for modular programming

A recent framework of relativized hyperequivalence of programs offers a ...

0 Miroslaw Truszczynski, et al. ∙

∙ 11/25/2002

Propositional satisfiability in declarative programming

Answer-set programming (ASP) paradigm is a way of using logic to solve s...

0 Deborah East, et al. ∙

∙ 05/11/2002

Ultimate approximations in nonmonotonic knowledge representation systems

We study fixpoints of operators on lattices. To this end we introduce th...

0 Marc Denecker, et al. ∙

∙ 05/11/2002

Computing stable models: worst-case performance estimates

We study algorithms for computing stable models of propositional logic p...

0 Zbigniew Lonc, et al. ∙

∙ 03/24/2000

DATALOG with constraints - an answer-set programming system

Answer-set programming (ASP) has emerged recently as a viable programmin...

0 Deborah East, et al. ∙

∙ 03/22/2000

Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000

The papers gathered in this collection were presented at the 8th Interna...

0 Chitta Baral, et al. ∙

∙ 03/14/2000

dcs: An Implementation of DATALOG with Constraints

Answer-set programming (ASP) has emerged recently as a viable programmin...

0 Deborah East, et al. ∙

∙ 02/04/2000

On the accuracy and running time of GSAT

Randomized algorithms for deciding satisfiability were shown to be effec...

0 Deborah East, et al. ∙

∙ 02/03/2000

Uniform semantic treatment of default and autoepistemic logics

We revisit the issue of connections between two leading formalisms in no...

0 Marc Denecker, et al. ∙

∙ 02/03/2000

Computing large and small stable models

In this paper, we focus on the problem of existence and computing of sma...

0 Miroslaw Truszczynski, et al. ∙

∙ 01/28/1999

Representation Theory for Default Logic

Default logic can be regarded as a mechanism to represent families of be...

0 Victor Marek, et al. ∙

∙ 01/25/1999

Extremal problems in logic programming and stable model computation

We study the following problem: given a class of logic programs C, deter...

0 Pawel Cholewinski, et al. ∙

∙ 09/18/1998

Stable models and an alternative logic programming paradigm

In this paper we reexamine the place and role of stable model semantics ...

0 Victor W. Marek, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world