scientific article; zbMATH DE number 1931648

zbMath1014.68534MaRDI QIDQ4708906

João Alexandre Leite, José Júlio Alferes, Antonio Brogi, Luís Moniz Pereira

Publication date: 20 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2424/24240050.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (13)

Reactive computing as model generation ⋮ Collaborative vs. Conflicting Learning, Evolution and Argumentation ⋮ A Selective Semantics for Logic Programs with Preferences ⋮ Approved Models for Normal Logic Programs ⋮ Updating action domain descriptions ⋮ Methodological naturalism and epistemic internalism ⋮ Reactive multi-context systems: heterogeneous reasoning in dynamic environments ⋮ Asynchronous Multi-Context Systems ⋮ Naturalizing logic ⋮ EVOLP: Tranformation-Based Semantics ⋮ EVOLP: An Implementation ⋮ Multi-context systems in dynamic environments ⋮ Inconsistency Management in Reactive Multi-context Systems

Uses Software

• LUPS

This page was built for publication: