Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
63
views
0
references
Top references
cited by
83
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,146
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Knowledge Representation, Reasoning and Declarative Problem Solving
monograph
Author(s):
Chitta Baral
Publication date
(Online):
August 13 2009
Publisher:
Cambridge University Press
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Indigenous Knowledge
Author and book information
Book
ISBN (Print):
9780521818025
ISBN (Electronic):
9780511543357
ISBN (Print):
9780521147750
Publication date (Online):
August 13 2009
Publication date (Print):
January 09 2003
DOI:
10.1017/CBO9780511543357
SO-VID:
c25db93f-3dea-4ce5-a272-ea2d48f562c9
License:
https://www.cambridge.org/core/terms
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. ix
Preface
pp. 1
Declarative programming in AnsProlog*: introduction and preliminaries
pp. 46
Simple modules for declarative programming with answer sets
pp. 83
Principles and properties of declarative programming with answer sets
pp. 170
Declarative problem solving and reasoning in AnsProlog*
pp. 199
Reasoning about actions and planning in AnsProlog*
pp. 278
Complexity, expressiveness, and other properties of AnsProlog* programs
pp. 345
Answer set computing algorithms
pp. 382
Query answering and answer set computing systems
pp. 458
Further extensions of and alternatives to AnsProlog*
pp. 498
Bibliography
Similar content
2,146
India on track to be declared polio-free next month
Authors:
Helen Branswell
The challenge of changing the inactivated poliomyelitis vaccine in Latin America: declaration of the Latin American Society of Pediatric Infectious Diseases (SLIPE)
Authors:
L H Falleiros-Arlant
,
M. L. Avila‐Agüero
,
J Brea del Castillo
…
Schumer, Other Senators to Ask Trump to Issue National Emergency Declaration for Coronavirus
Authors:
L Fox
,
C Dister
See all similar
Cited by
80
Discovering drug–drug interactions: a text-mining and reasoning approach based on properties of drug metabolism
Authors:
Luis Tari
,
Saadat Anwar
,
Shanshan Liang
…
Answer Set Solving in Practice
Authors:
Martin Gebser
,
Roland Kaminski
,
Benjamin B Kaufmann
…
Probabilistic reasoning with answer sets
Authors:
MICHAEL GELFOND
,
Chitta Baral
,
NELSON RUSHTON
See all cited by