AITopics | urc-c

Collaborating Authors

urc-c

Information about AI from the News, Publications, and Conferences

Automatic Classification – Tagging and Summarization – Customizable Filtering and Analysis

If you are looking for an answer to the question What is Artificial Intelligence? and you only have a minute, then here's the definition the Association for the Advancement of Artificial Intelligence offers on its home page: "the scientific understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines."

However, if you are fortunate enough to have more than a minute, then please get ready to embark upon an exciting journey exploring AI (but beware, it could last a lifetime) …

On Unit-Refutation Complete Formulae with Existentially Quantified Variables

Bordeaux, Lucas (Microsoft Research, Cambridge) | Janota, Mikolas (INESC-ID, Lisboa) | Marques-Silva, Joao (University College Dublin) | Marquis, Pierre (CRIL-CNRS, University of Artois)

AAAI ConferencesFeb-8-2012

We analyze, along the lines of the knowledge compilation map, both the tractability and the succinctness of the propositional language URC of unit-refutation complete propositional formulae, as well as its disjunctive closure URC[V, ∃], and a superset of URC where variables can be existentially quantified and unit-refutation completeness concerns only consequences built up from free variables.

formula, subset, urc-c, (15 more...)

AAAI Conferences

Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning

Country: Europe > Portugal > Lisbon > Lisbon (0.04)

Technology: Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (1.00)

Add feedback