Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

101

Voted

JANCL
2006

45views more JANCL 2006»

Some (in)translatability results for normal logic programs and propositional theories

15 years 2 months ago

Some (in)translatability results for normal logic programs and propositional theories

Download users.ics.tkk.fi

Tomi Janhunen

Real-time Traffic

JANCL 2006 |

claim paper

Related Content

» Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Progr...

» Reducts of Propositional Theories Satisfiability Relations and Generalizations of Semantic...

» Propositions Propositional Attitudes and Belief Revision

» ASSAT computing answer sets of a logic program by SAT solvers

» Soundness and Completeness of a Logic Programming Approach to Default Logic

» dl2asp Implementing Default Logic via Answer Set Programming

» Embedding NonGround Logic Programs into Autoepistemic Logic for KnowledgeBase Combination

» Probabilistic Logic Manyvaluedness and Intensionality

» DATALOG with Constraints An AnswerSet Programming System

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2006
Where	JANCL
Authors	Tomi Janhunen

Comments (0)