2308 search results - page 236 / 462 » Representing Symbolic Reasoning |
184
click to vote
SYNTHESE
2010
15 years 1 months ago
2010
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
165
click to vote
IV
2008
IEEE
16 years 29 days ago
2008
IEEE
Given a group of overlapping sets, it is not always possible to represent it with Euler diagrams. Euler diagram characteristics might collide with the sets relationships to depict...
191
click to vote
SEFM
2008
IEEE
16 years 28 days ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
167
click to vote
VL
2007
IEEE
16 years 25 days ago
2007
IEEE
Information is often represented in tabular format in everyday documents such as balance sheets, sales figures, and so on. Tables represent an interesting point in the spectrum o...
164
click to vote
CONTEXT
2007
Springer
16 years 22 days ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...