Search Sciweavers | Sciweavers

891 search results - page 11 / 179

» Towards Reasoning Pragmatics

197

click to vote

NMR
2004
Springer

179views Automated Reasoning» more NMR 2004»

Preferential defeasibility: utility in defeasible logic programming

15 years 12 months ago

Download cs.uns.edu.ar

The development of Logic Programming and Defeasible Argumentation lead to Defeasible Logic Programming. Its core resides in the characterization of the warrant procedure. Defeasib...

Fernando A. Tohmé, Guillermo Ricardo Simari

claim paper

Read More »

139

click to vote

RWEB
2005
Springer

85views Automated Reasoning» more RWEB 2005»

Towards Types for Web Rule Languages

16 years 2 days ago

Download reasoningweb.org

Wlodzimierz Drabent

claim paper

Read More »

146

click to vote

LPNMR
2004
Springer

105views Automated Reasoning» more LPNMR 2004»

Answer Sets: From Constraint Programming Towards Qualitative Optimization

15 years 12 months ago

Download www.informatik.uni-leipzig.de

Gerhard Brewka

claim paper

Read More »

160

click to vote

TIME
2003
IEEE

92views Automated Reasoning» more TIME 2003»

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

15 years 12 months ago

Download www.csc.liv.ac.uk

Boris Konev, Anatoli Degtyarev, Clare Dixon, Micha...

claim paper

Read More »

142

click to vote

TPHOL
1993
IEEE

97views Automated Reasoning» more TPHOL 1993»

Toward a Super Duper Hardware Tactic

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers