Using methods of declarative logic programming for intelligent information agents

DOI10.1017/S1471068402001576MaRDI QIDQ4452621zbMATH OpenFDO

Authors Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=2&issueId=06

zbMATH Keywords

nonmonotonic reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Information agent technology for the Internet: A survey
• scientific article; zbMATH DE number 1319469
• scientific article; zbMATH DE number 1926602
• Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
• scientific article; zbMATH DE number 2036284

Cited in

(5)

• Some notes on declarative specification of semantic data integration task in a peer-to-peer agent system
• A knowledge-based approach for selecting information sources
• scientific article; zbMATH DE number 1950599 (Why is no real title available?)
• scientific article; zbMATH DE number 2006587 (Why is no real title available?)
• Strong order equivalence

Describes a project that uses

Uses Software

• XSB
• LUPS

This page was built for publication: Using methods of declarative logic programming for intelligent information agents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452621)