Search Sciweavers | Sciweavers

23

DEDUCTIVE
1996

105views Database» more DEDUCTIVE 1996»

Stable Semantics of Temporal Deductive Databases

13 years 6 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 »

10

click to vote

COLING
1996

91views Computational Linguistics» more COLING 1996»

A Compilation-Chart Method for Linear Categorial Deduction

13 years 6 months ago

Download acl.ldc.upenn.edu

Mark Hepple

claim paper

Read More »

10

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

A Deductive Study of the C-CLASSICde Description Logic

13 years 6 months ago

Download www.aaai.org

Véronique Ventos

claim paper

Read More »

17

click to vote

ICTAI
1996
IEEE

139views Artificial Intelligence» more ICTAI 1996»

Binary CSP Solving as an Inference Process

13 years 9 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 »

14

click to vote

ACL
1997

111views Computational Linguistics» more ACL 1997»

Maximal Incrementality in Linear Categorial Deduction

13 years 6 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