Sciweavers

454 search results - page 32 / 91
» Representation results for defeasible logic
Sort
View
AI
2011
Springer
14 years 5 months ago
First-order logical filtering
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
Afsaneh Shirazi, Eyal Amir
AIIDE
2008
15 years 28 days ago
Recombinable Game Mechanics for Automated Design Support
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
Mark J. Nelson, Michael Mateas
IIE
2008
97views more  IIE 2008»
14 years 10 months ago
Mathematical Logic and Deduction in Computer Science Education
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...
Hashim Habiballa, Tibor Kmet
EUSFLAT
2009
212views Fuzzy Logic» more  EUSFLAT 2009»
14 years 8 months ago
An Interval Type-2 Fuzzy Distribution Network
Abstract-- Planning resources for a supply chain is a major factor determining its success or failure. In this paper we introduce an Interval Type-2 Fuzzy Logic model of a distribu...
Simon Miller, Viara Popova, Robert John, Mario A. ...
IJCAI
2007
15 years 22 hour ago
Recursive Random Fields
A formula in first-order logic can be viewed as a tree, with a logical connective at each node, and a knowledge base can be viewed as a tree whose root is a conjunction. Markov l...
Daniel Lowd, Pedro Domingos