Sciweavers

746 search results - page 27 / 150

» Connectionist Propositional Logic

106

Voted

AAAI
1990

100views Intelligent Agents» more AAAI 1990»

It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics

15 years 4 months ago

It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics

Download www.jos.org.cn

Jonathan Stillman

claim paper

Read More »

59

Voted

CORR
2008
Springer

59views Education» more CORR 2008»

Logic programs with propositional connectives and aggregates

15 years 3 months ago

Logic programs with propositional connectives and aggregates

Download tocl.acm.org

Paolo Ferraris

claim paper

Read More »

105

JANCL
2006

45views more JANCL 2006»

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

15 years 3 months ago

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

Download users.ics.tkk.fi

Tomi Janhunen

claim paper

Read More »

96

Voted

AI
2005
Springer

86views Artificial Intelligence» more AI 2005»

Partition-based logical reasoning for first-order and propositional theories

15 years 3 months ago

Partition-based logical reasoning for first-order and propositional theories

Download reason.cs.uiuc.edu

Eyal Amir, Sheila A. McIlraith

claim paper

Read More »

90

Voted

AML
2005

66views more AML 2005»

Propositional logic of continuous transformations in Cantor space

15 years 3 months ago

Propositional logic of continuous transformations in Cantor space

Download theory.stanford.edu

Grigori Mints, Ting Zhang

claim paper

Read More »

« Prev « First page 27 / 150 Last » Next »