researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: TPLP
Home
Index
Info
Issue
Volume
2
, Issue
6
645
--
709
Thomas Eiter
,
Michael Fink
,
Giuliana Sabbatini
,
Hans Tompits
.
Using Methods of Declarative Logic Programming for Intelligent Information Agents
711
--
767
Thomas Eiter
,
Michael Fink
,
Giuliana Sabbatini
,
Hans Tompits
.
On Properties of Update Sequences Based on Causal Rejection
769
--
805
Yves Caseau
,
François-Xavier Josset
,
François Laburthe
.
CLAIRE: Combining sets, search and rules to better express algorithms