Search Sciweavers | Sciweavers

1061 search results - page 19 / 213

» Dependently Sorted Logic

click to vote

ECAI
2004
Springer

118views Artificial Intelligence» more ECAI 2004»

Description Logics with Concrete Domains and Functional Dependencies

14 years 3 months ago

Download lat.inf.tu-dresden.de

Carsten Lutz, Maja Milicic

claim paper

Read More »

click to vote

DEON
2004
Springer

88views Automated Reasoning» more DEON 2004»

Obligation Change in Dependence Logic and Situation Calculus

14 years 1 months ago

Download www.irit.fr

Robert Demolombe, Andreas Herzig

claim paper

Read More »

click to vote

IJCAI
2001

66views Artificial Intelligence» more IJCAI 2001»

Identification Constraints and Functional Dependencies in Description Logics

13 years 11 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

click to vote

ACL
2011

192views Computational Linguistics» more ACL 2011»

Learning Dependency-Based Compositional Semantics

13 years 1 months ago

Download www.cs.berkeley.edu

Compositional question answering begins by mapping questions to logical forms, but training a semantic parser to perform this mapping typically requires the costly annotation of t...

Percy Liang, Michael I. Jordan, Dan Klein

claim paper

Read More »

click to vote

CADE
2006
Springer

163views Logical Reasoning» more CADE 2006»

Automatic Termination Proofs in the Dependency Pair Framework

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers