527 search results - page 24 / 106 » Towards a Natural Way of Reasoning |
181
click to vote
DEBU
2006
15 years 6 months ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...
162
click to vote
DLOG
2009
15 years 3 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
174
click to vote
IJON
2007
15 years 5 months ago
2007
Parallel computers have the computing power needed to simulate biologically accurate neuronal network models. Partitioning is the process of cutting a model in pieces and assignin...
159
click to vote
ESEC
1997
Springer
15 years 10 months ago
1997
Springer
The decomposition of a software application into components and connectors at the design stage has been promoted as a way to describe and reason about complex software architecture...
143
Voted
KBSE
2009
IEEE
16 years 21 days ago
2009
IEEE
—The analysis of stakeholder requirements is a critical aspect of software engineering. A common way of specifying stakeholder requirements is in terms of a hierarchy of goals wh...