Search Sciweavers | Sciweavers

891 search results - page 11 / 179

» Towards Reasoning Pragmatics

click to vote

NMR
2004
Springer

179views Automated Reasoning» more NMR 2004»

Preferential defeasibility: utility in defeasible logic programming

14 years 3 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 »

click to vote

RWEB
2005
Springer

85views Automated Reasoning» more RWEB 2005»

Towards Types for Web Rule Languages

14 years 3 months ago

Download reasoningweb.org

Wlodzimierz Drabent

claim paper

Read More »

click to vote

LPNMR
2004
Springer

105views Automated Reasoning» more LPNMR 2004»

Answer Sets: From Constraint Programming Towards Qualitative Optimization

14 years 3 months ago

Download www.informatik.uni-leipzig.de

Gerhard Brewka

claim paper

Read More »

click to vote

TIME
2003
IEEE

92views Automated Reasoning» more TIME 2003»

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

14 years 2 months ago

Download www.csc.liv.ac.uk

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

claim paper

Read More »

click to vote

TPHOL
1993
IEEE

97views Automated Reasoning» more TPHOL 1993»

Toward a Super Duper Hardware Tactic

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers