Sciweavers

2022 search results - page 32 / 405

» Complexity of Non-Monotonic Logics

78

Voted

FUIN
2002

74views more FUIN 2002»

Complexity of the Unique Extension Problem in Default Logic

14 years 10 months ago

Complexity of the Unique Extension Problem in Default Logic

Download www.dis.uniroma1.it

Xishun Zhao, Paolo Liberatore

claim paper

Read More »

58

IANDC
2002

55views more IANDC 2002»

The Complexity of Propositional Linear Temporal Logics in Simple Cases

14 years 10 months ago

The Complexity of Propositional Linear Temporal Logics in Simple Cases

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ph. Schnoebelen

claim paper

Read More »

63

Voted

TCS
2002

73views Theoretical Computer Science» more TCS 2002»

Logical operations and Kolmogorov complexity

14 years 10 months ago

Logical operations and Kolmogorov complexity

Download www.lif.univ-mrs.fr

Alexander Shen, Nikolai K. Vereshchagin

claim paper

Read More »

67

AI
2010
Springer

157views Artificial Intelligence» more AI 2010»

Learning complex action models with quantifiers and logical implications

14 years 8 months ago

Learning complex action models with quantifiers and logical implications

Download www.zsusoft.com

Hankz Hankui Zhuo, Qiang Yang, Derek Hao Hu, Lei L...

claim paper

Read More »

76

Voted

CSL
2007
Springer

145views Automated Reasoning» more CSL 2007»

On the Complexity of Reasoning About Dynamic Policies

15 years 4 months ago

On the Complexity of Reasoning About Dynamic Policies

Download www.informatik.uni-bremen.de

We study the complexity of satisﬁability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...

Stefan Göller

claim paper

Read More »

« Prev « First page 32 / 405 Last » Next »