Sciweavers

16 search results - page 1 / 4

» japll 2007

9

JAPLL
2007

55views more JAPLL 2007»

Question answering and database querying: Bridging the gap with generalized quantification

13 years 4 months ago

Question answering and database querying: Bridging the gap with generalized quantification

Download date.spd.louisville.edu

Antonio Badia

claim paper

Read More »

13

JAPLL
2007

72views more JAPLL 2007»

A consistency-based framework for merging knowledge bases

13 years 4 months ago

A consistency-based framework for merging knowledge bases

Download www.cs.sfu.ca

James P. Delgrande, Torsten Schaub

claim paper

Read More »

12

JAPLL
2007

52views more JAPLL 2007»

Specifying and verifying interaction protocols in a temporal action logic

13 years 4 months ago

Specifying and verifying interaction protocols in a temporal action logic

Download www.di.unito.it

Laura Giordano, Alberto Martelli, Camilla Schwind

claim paper

Read More »

9

JAPLL
2007

55views more JAPLL 2007»

Termination of logic programs with imperfect information: applications and query procedure

13 years 4 months ago

Termination of logic programs with imperfect information: applications and query procedure

Download sevein.matap.uma.es

Carlos Viegas Damásio, Jesús Medina,...

claim paper

Read More »

11

JAPLL
2007

63views more JAPLL 2007»

Conditionals and consequences

13 years 4 months ago

Conditionals and consequences

Download www.gregorywheeler.org

Henry E. Kyburg Jr., Choh-Man Teng, Gregory R. Whe...

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »