Search Sciweavers | Sciweavers

3776 search results - page 18 / 756

» Partition-Based Logical Reasoning

click to vote

IJAR
2008

129views more IJAR 2008»

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

13 years 7 months ago

Download cs.uns.edu.ar

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...

Teresa Alsinet, Carlos Iván Chesñeva...

claim paper

Read More »

click to vote

ICLP
2001
Springer

94views Automated Reasoning» more ICLP 2001»

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

14 years 3 days ago

Download kaminari.scitec.kobe-u.ac.jp

Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai...

claim paper

Read More »

click to vote

LICS
1997
IEEE

119views Automated Reasoning» more LICS 1997»

First-Order Logic with Two Variables and Unary Temporal Logic

13 years 12 months ago

Download www.brics.dk

Kousha Etessami, Moshe Y. Vardi, Thomas Wilke

claim paper

Read More »

click to vote

DLOG
2007

225views Automated Reasoning» more DLOG 2007»

Dynamic Description Logic: Embracing Actions into Description Logic

13 years 10 months ago

Download sunsite.informatik.rwth-aachen.de

Liang Chang, Zhongzhi Shi, Lirong Qiu, Fen Lin

claim paper

Read More »

click to vote

DLOG
2007

115views Automated Reasoning» more DLOG 2007»

A Possibilistic Extension of Description Logics

13 years 10 months ago

Download sunsite.informatik.rwth-aachen.de

Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...

Guilin Qi, Jeff Z. Pan, Qiu Ji

claim paper

Read More »

« Prev « First page 18 / 756 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers