NDLI: Conceptual logic programs

Content Provider	Springer Nature Link
Author	Heymans, Stijn Vermeir, Dirk Nieuwenborgh, Davy
Copyright Year	2006
Abstract	Open answer set programming (OASP) solves the lack of modularity in closed world answer set programming by allowing for the grounding of logic programs with an arbitrary non-empty countable superset of the program’s constants. However, OASP is, in general, undecidable: the undecidable domino problem can be reduced to it. In order to regain decidability, we restrict the shape of logic programs, yielding conceptual logic programs (CoLPs). CoLPs are logic programs with unary and binary predicates (possibly inverted) where rules have a tree shape. Decidability of satisfiability checking of predicates w.r.t. CoLPs is shown by a reduction to non-emptiness checking of two-way alternating tree automata. We illustrate the expressiveness of CoLPs by simulating the description logic $\mathcal{SHIQ}$ . CoLPs thus integrate, in one unifying framework, the best of both the logic programming paradigm (a flexible rule-based representation and nonmonotonicity by means of negation as failure) and the description logics paradigm (decidable open domain reasoning).
Ending Page	137
Page Count	35
Starting Page	103
File Format	PDF
ISSN	10122443
e-ISSN	15737470
Journal	Annals of Mathematics and Artificial Intelligence
Issue Number	1-2
Volume Number	47
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	2006-09-13
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	description logics Logic programming Logic in artificial intelligence Knowledge representation Computer Science Artificial Intelligence (incl. Robotics) Mathematics open domains answer set programming Complexity
Content Type	Text
Resource Type	Article
Subject	Applied Mathematics Artificial Intelligence

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Equilibrium logic

Exploiting conjunctive queries in description logic programs

An introduction to fuzzy answer set programming

Answer set based design of knowledge systems

External sources of knowledge and value invention in logic programming

Integrating answer set programming and constraint logic programming

Strong order equivalence

Dealing with explicit preferences and uncertainty in answer set programming

A generalization of the Lin-Zhao theorem

Conceptual logic programs

Similar Documents

Equilibrium logic

Exploiting conjunctive queries in description logic programs

An introduction to fuzzy answer set programming

Answer set based design of knowledge systems

External sources of knowledge and value invention in logic programming

Integrating answer set programming and constraint logic programming

Strong order equivalence

Dealing with explicit preferences and uncertainty in answer set programming

A generalization of the Lin-Zhao theorem

Conceptual logic programs