Search Sciweavers | Sciweavers

95

Voted

DEDUCTIVE
1996

105views Database» more DEDUCTIVE 1996»

Stable Semantics of Temporal Deductive Databases

14 years 11 months ago

We dene a preferential semantics based on stable generated models for a very general class of temporal deductive databases. We allow two kinds of temporal information to be repre...

Heinrich Herre, Gerd Wagner

claim paper

Read More »

69

Voted

COLING
1996

91views Computational Linguistics» more COLING 1996»

A Compilation-Chart Method for Linear Categorial Deduction

14 years 11 months ago

Download acl.ldc.upenn.edu

Mark Hepple

claim paper

Read More »

57

Voted

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

A Deductive Study of the C-CLASSICde Description Logic

14 years 11 months ago

Download www.aaai.org

Véronique Ventos

claim paper

Read More »

82

Voted

ICTAI
1996
IEEE

139views Artificial Intelligence» more ICTAI 1996»

Binary CSP Solving as an Inference Process

15 years 2 months ago

Download reference.kfupm.edu.sa

We describe constraint solving using a rule-based approach. The distinction made between deduction rules and strategies by computational systems allows us to improve our understan...

Carlos Castro

claim paper

Read More »

90

click to vote

ACL
1997

111views Computational Linguistics» more ACL 1997»

Maximal Incrementality in Linear Categorial Deduction

14 years 11 months ago

Download www.aclweb.org

Recent work has seen the emergence of a common framework for parsing categorial grammar (CG) formalisms that fall within the 'type-logical' tradition (such as the Lambek...

Mark Hepple

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers