Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by G.R.Renardel de Lavalette
Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems
Data and Knowledge Engineering
Information Systems
Management
Related publications
A Modal Temporal Logic for Reasoning About Change
A Modal Logic for Reasoning About Economic Policies
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Pure Modal Logic of Names and Tableau Systems
Studia Logica
Philosophy of Science
Logic
History
Logic-Based Reasoning Support for SBVR
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Modal Logic Foundations of Markup Structures in Annotation Systems
Studies in Computational Intelligence
Artificial Intelligence
Decidable Reasoning in Terminological Knowledge Representation Systems
Journal of Artificial Intelligence Research
Artificial Intelligence
PDT Logic for Stream Reasoning in Multi-Agent Systems
A Knowledge Engineering Approach for Image Classification Based on Probabilistic Reasoning Systems
Neutrosophic Modal Logic
