A discretionary access control model with temporal authorizations
NSPW '94 Proceedings of the 1994 workshop on New security paradigms
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
Sharpening the Undecidability of Interval Temporal Logic
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Logic prespective on data and knowledge
Handbook of data mining and knowledge discovery
Qualitative spatiotemporal representation and reasoning: a computational perspective
Exploring artificial intelligence in the new millennium
The description logic handbook
AGENT WORK: a workflow system supporting rule-based workflow adaptation
Data & Knowledge Engineering
Cumulativity, Identity and Time in Deontic Logic
Fundamenta Informaticae - Deontic Logic in Computer Science
An Lω1ω1axiomatization of the linear archimedean continua as merely relational structures
MATH'07 Proceedings of the 11th WSEAS International Conference on Applied Mathematics
Dynamic Aspects of OPJK Legal Ontology
Computable Models of the Law
An Lω1ω1 axiomatization of the linear Archimedean continua as merely relational structures
WSEAS Transactions on Mathematics
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
Combining spatial and temporal logics: expressiveness vs. complexity
Journal of Artificial Intelligence Research
Automated analysis of compositional multi-agent systems
International Journal of Agent-Oriented Software Engineering
Journal of Logic, Language and Information
Generating policy based security implementation in enterprise network: a formal framework
Proceedings of the 3rd ACM workshop on Assurable and usable security configuration
On the semantics of functional descriptions of web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
States, transitions, and life tracks in temporal concept analysis
Formal Concept Analysis
Reciprocal logic: logics for specifying, verifying, and reasoning about reciprocal relationships
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Turing machine representation in temporal concept analysis
ICFCA'05 Proceedings of the Third international conference on Formal Concept Analysis
Cumulativity, Identity and Time in Deontic Logic
Fundamenta Informaticae - Deontic Logic in Computer Science
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |