3468 search results - page 374 / 694 » An open logical framework |
162
Voted
AAAI
2007
15 years 7 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
156
click to vote
EWCBR
2008
Springer
15 years 6 months ago
2008
Springer
Conservative adaptation consists in a minimal change on a source case to be consistent with the target case, given the domain knowledge. It has been formalised in a previous work t...
129
Voted
COMMA
2006
15 years 6 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
135
click to vote
SSR
2001
15 years 6 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
117
click to vote
IGPL
2010
15 years 3 months ago
2010
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...