Results 261 to 270 of about 2,584,296 (324)
Some of the next articles are maybe not open access.
From Policy-Making Statements to First-Order Logic
2010Within a framework for enriched on-line discussion forums for e-government policy-making, pro and con statements for positions are input, structurally related, then logically represented and evaluated. The framework builds on current technologies for multi-threaded discussion, natural language processing, ontologies, and formal argumentation frameworks.
Adam Z. Wyner +2 more
openaire +1 more source
A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors
International Symposium on Frontiers of Combining Systems, 2017F. Baader
semanticscholar +1 more source
Receding horizon temporal logic control in dynamic environments
Int. J. Robotics Res., 2014A. Ulusoy, C. Belta
semanticscholar +1 more source
An Invitation to Formal Reasoning: The Logic of Terms
, 2016F. Sommers, G. Englebretsen
semanticscholar +1 more source
A Logic for Reasoning About Knowledge of Unawareness
Journal of Logic, Language and Information, 2014Thomas Ågotnes, N. Alechina
semanticscholar +1 more source
Software bug localization with markov logic
ICSE Companion, 2014Sai Zhang, Congle Zhang
semanticscholar +1 more source
Annotated probabilistic temporal logic
TOCL, 2011Paulo Shakarian +3 more
semanticscholar +1 more source

