Sciweavers

2253 search results - page 2 / 451

» The ComFoRT Reasoning Framework

8

KR
1994
Springer

113views Automated Reasoning» more KR 1994»

A Knowledge-Based Framework for Belief Change, Part II: Revision and Update

13 years 9 months ago

A Knowledge-Based Framework for Belief Change, Part II: Revision and Update

Download www.cs.huji.ac.il

Nir Friedman, Joseph Y. Halpern

claim paper

Read More »

13

TARK
1994
Springer

118views Automated Reasoning» more TARK 1994»

A Knowledge-Based Framework for Belief change, Part I: Foundations

13 years 9 months ago

A Knowledge-Based Framework for Belief change, Part I: Foundations

Download www.cs.huji.ac.il

Nir Friedman, Joseph Y. Halpern

claim paper

Read More »

9

ICLP
2010
Springer

99views Automated Reasoning» more ICLP 2010»

Local Branching in a Constraint Programming Framework

13 years 8 months ago

Local Branching in a Constraint Programming Framework

Download drops.dagstuhl.de

Fabio Parisini

claim paper

Read More »

13

GIS
2000
ACM

204views Automated Reasoning» more GIS 2000»

Scripting in GIS applications: experimental standards-based framework for perl

13 years 8 months ago

Scripting in GIS applications: experimental standards-based framework for perl

Download gisi-pm.sourceforge.net

Alexandre Sorokine, Kurt Ackermann

claim paper

Read More »

11

KR
2000
Springer

84views Automated Reasoning» more KR 2000»

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

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

« Prev « First page 2 / 451 Last » Next »