3773 search results - page 542 / 755 » Logical Reasoning |
143
click to vote
LPNMR
2007
Springer
16 years 9 days ago
2007
Springer
This paper gives a summary of the First Answer Set Programming System Competition that was held in conjunction with the Ninth International Conference on Logic Programming and Nonm...
163
click to vote
LANMR
2007
15 years 7 months ago
2007
Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especial...
141
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Ignoring the effect of simultaneous switching for logic gates causes silicon failures for high performance microprocessor designs. The main reason to omit this effect is the run...
167
click to vote
AAAI
1998
15 years 7 months ago
1998
In abductive planning, plans are constructed as reasons for an agent to act: plans are demonstrations in logical theory of action that a goal will result assuming that given actio...
287
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...