Author name cluster

Rudradeb Mitra

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

1 paper

1 author row

LPAR Conference 2005 Conference Paper

Satisfiability Checking for PC(ID)

Maarten Mariën
Rudradeb Mitra
Marc Denecker
Maurice Bruynooghe

Abstract The logic FO(ID) extends classical first order logic with inductive definitions. This paper studies the satisifiability problem for PC(ID), its propositional fragment. We develop a framework for model generation in this logic, present an algorithm and prove its correctness. As FO(ID) is an integration of classical logic and logic programming, our algorithm integrates techniques from SAT and ASP. We report on a prototype system, called M id L, experimentally validating our approach.

Details