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

2010
Within 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, 2017
F. Baader
semanticscholar   +1 more source

A Logic for Reasoning About Knowledge of Unawareness

Journal of Logic, Language and Information, 2014
Thomas Ågotnes, N. Alechina
semanticscholar   +1 more source

Software bug localization with markov logic

ICSE Companion, 2014
Sai Zhang, Congle Zhang
semanticscholar   +1 more source

Annotated probabilistic temporal logic

TOCL, 2011
Paulo Shakarian   +3 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy