3385 search results - page 510 / 677 » Language, Logic, and the Brain |
134
click to vote
SEMWEB
2005
Springer
15 years 12 months 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...
203
click to vote
ARGMAS
2004
Springer
15 years 12 months 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’...
139
click to vote
CAISE
2004
Springer
15 years 12 months 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...
168
click to vote
DFG
2004
Springer
15 years 12 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
195
click to vote
EKAW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...