3440 search results - page 521 / 688 » Logics For Context-Free Languages |
179
click to vote
FOCS
2005
IEEE
16 years 20 days ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
146
click to vote
SIGDOC
2005
ACM
16 years 19 days ago
2005
ACM
To reduce potential discrepancies between textual and graphical content in documentation, it is possible to produce both text and graphics from a single common source. One approac...
152
click to vote
SEMWEB
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
228
click to vote
ARGMAS
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
154
click to vote
CAISE
2004
Springer
16 years 14 days ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...