Sciweavers

3891 search results - page 47 / 779

» A logic for strategic reasoning

20

ASP
2001
Springer

95views Automated Reasoning» more ASP 2001»

On the Epistemological foundations of Logic Programming and its Extensions

13 years 11 months ago

On the Epistemological foundations of Logic Programming and its Extensions

Download www.aaai.org

Marc Denecker

claim paper

Read More »

22

KR
2000
Springer

84views Automated Reasoning» more KR 2000»

Planning with sensing, concurrency, and exogenous events: logical framework and implementation

13 years 11 months ago

Planning with sensing, concurrency, and exogenous events: logical framework and implementation

Download www.dis.uniroma1.it

Luca Iocchi, Daniele Nardi, Riccardo Rosati

claim paper

Read More »

24

LOPSTR
2000
Springer

104views Automated Reasoning» more LOPSTR 2000»

Higher-order transformation of logic programs

13 years 11 months ago

Higher-order transformation of logic programs

Download www.cs.nott.ac.uk

Silvija Seres, J. Michael Spivey

claim paper

Read More »

23

CSL
1995
Springer

93views Automated Reasoning» more CSL 1995»

On the Modal Logic K Plus Theories

13 years 11 months ago

On the Modal Logic K Plus Theories

Download reference.kfupm.edu.sa

Alain Heuerding, Stefan Schwendimann

claim paper

Read More »

25

LACL
1997
Springer

94views Automated Reasoning» more LACL 1997»

Underspecification in Type-Logical Grammars

13 years 11 months ago

Underspecification in Type-Logical Grammars

Download wwwhome.cs.utwente.nl

Dirk Heylen

claim paper

Read More »

« Prev « First page 47 / 779 Last » Next »