- DokumentSemantic Diff as the Basis for Knowledge Base Versioninghochgeladen von
Ivan José Varzinczak
- DokumentPertinence Construed Modallyhochgeladen von
Ivan José Varzinczak
- DokumentOn Action Theory Changehochgeladen von
Ivan José Varzinczak
- DokumentSemantic Diff as the Basis for Knowledge Base Versioninghochgeladen von
Ivan José Varzinczak
- DokumentPertinent Reasoninghochgeladen von
Ivan José Varzinczak
- DokumentA Contraction Core for Horn Belief Changehochgeladen von
Ivan José Varzinczak
- DokumentHorn Belief Changehochgeladen von
Ivan José Varzinczak
- DokumentFirst Steps in the Computation of Root Justificationshochgeladen von
Ivan José Varzinczak
- DokumentPertinence Construed Modallyhochgeladen von
Ivan José Varzinczak
- DokumentOn Action Theory Changehochgeladen von
Ivan José Varzinczak
- DokumentNext Steps in Propositional Horn Contractionhochgeladen von
Ivan José Varzinczak
- DokumentOn the Revision of Action Lawshochgeladen von
Ivan José Varzinczak
- DokumentThe IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09)hochgeladen von
Ivan José Varzinczak
- DokumentFirst Steps in EL Contractionhochgeladen von
Ivan José Varzinczak
- DokumentHow Do I Revise My Agent’s Action Theory?hochgeladen von
Ivan José Varzinczak
- DokumentAction Theory Revision in Dynamic Logichochgeladen von
Ivan José Varzinczak
- DokumentAction Theory Contraction and Minimal Changehochgeladen von
Ivan José Varzinczak
- DokumentAction Theory Revision in Dynamic Logichochgeladen von
Ivan José Varzinczak
- DokumentAction Theory Contraction and Minimal Changehochgeladen von
Ivan José Varzinczak
- DokumentAction Theory Revisionhochgeladen von
Ivan José Varzinczak
- DokumentUpdate of nonclassical theories and its relation with the semantic webhochgeladen von
Ivan José Varzinczak
- DokumentWhat is a good domain description? Evaluating and revising action theories in dynamic logichochgeladen von
Ivan José Varzinczak
- DokumentProvadores automáticos de teoremas para as lógicas monomodais proposicionais K e S4hochgeladen von
Ivan José Varzinczak
- DokumentLa plus belle fleurhochgeladen von
Ivan José Varzinczak
- DokumentCausalidade e dependência em raciocínio sobre açõeshochgeladen von
Ivan José Varzinczak
- DokumentCausalidade e dependência em raciocínio sobre açõeshochgeladen von
Ivan José Varzinczak
- DokumentWhat Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logichochgeladen von
Ivan José Varzinczak
- DokumentCausalidade e dependência em raciocínio sobre açõeshochgeladen von
Ivan José Varzinczak
- DokumentAn assessment of actions with indeterminate and indirect effectshochgeladen von
Ivan José Varzinczak
- DokumentDomain descriptions should be modularhochgeladen von
Ivan José Varzinczak
- DokumentDomain descriptions should be modular (preliminary report)hochgeladen von
Ivan José Varzinczak
- DokumentA Modularity Approach for a Fragment of ALChochgeladen von
Ivan José Varzinczak
- DokumentCohesion, coupling and the meta-theory of actionshochgeladen von
Ivan José Varzinczak
- DokumentCohésion et couplage de théories d’actionshochgeladen von
Ivan José Varzinczak
- DokumentDomain Descriptions Should Be Modularhochgeladen von
Ivan José Varzinczak
- DokumentOn the Modularity of Theorieshochgeladen von
Ivan José Varzinczak
- DokumentOn the Modularity of Theorieshochgeladen von
Ivan José Varzinczak
- DokumentMetatheories of actionhochgeladen von
Ivan José Varzinczak
- DokumentContracting TBoxeshochgeladen von
Ivan José Varzinczak
- DokumentElaborating Domain Descriptions (Preliminary Report)hochgeladen von
Ivan José Varzinczak
- DokumentElaborating Domain Descriptionshochgeladen von
Ivan José Varzinczak
- DokumentElaborating Domain Descriptionshochgeladen von
Ivan José Varzinczak
- DokumentRegression in Modal Logichochgeladen von
Ivan José Varzinczak
- DokumentRegression in Modal Logichochgeladen von
Ivan José Varzinczak
- DokumentIt depends on the context! A decidable logic of actions and plans based on a ternary dependence relationhochgeladen von
Ivan José Varzinczak