Sciweavers

12 search results - page 1 / 3

» amai 2007

11

AMAI
2007
Springer

76views Artificial Intelligence» more AMAI 2007»

Evolving objects in temporal information systems

13 years 4 months ago

Evolving objects in temporal information systems

Download www.inf.unibz.it

Alessandro Artale, Christine Parent, Stefano Spacc...

claim paper

Read More »

10

AMAI
2007
Springer

83views Artificial Intelligence» more AMAI 2007»

An introduction to fuzzy answer set programming

13 years 4 months ago

An introduction to fuzzy answer set programming

Download www.cwi.ugent.be

Davy Van Nieuwenborgh, Martine De Cock, Dirk Verme...

claim paper

Read More »

15

AMAI
2007
Springer

112views Artificial Intelligence» more AMAI 2007»

Comparing action descriptions based on semantic preferences

13 years 4 months ago

Comparing action descriptions based on semantic preferences

Download www.kr.tuwien.ac.at

Thomas Eiter, Esra Erdem, Michael Fink, Ján...

claim paper

Read More »

14

AMAI
2007
Springer

95views Artificial Intelligence» more AMAI 2007»

Complexity results for answer set programming with bounded predicate arities and implications

13 years 4 months ago

Complexity results for answer set programming with bounded predicate arities and implications

Download www.kr.tuwien.ac.at

Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan...

claim paper

Read More »

14

AMAI
2007
Springer

147views Artificial Intelligence» more AMAI 2007»

Automated theorem proving by resolution in non-classical logics

13 years 4 months ago

Automated theorem proving by resolution in non-classical logics

Download www.mpi-inf.mpg.de

This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into ﬁrst order logic and resolution theorem prov...

Viorica Sofronie-Stokkermans

claim paper

Read More »

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