3624 search results - page 140 / 725 » Abstract Algebraic Logic |
127
click to vote
TYPES
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
136
click to vote
STOC
2009
ACM
16 years 5 months ago
2009
ACM
Non-relativization of complexity issues can be interpreted as giving some evidence that these issues cannot be resolved by "black-box" techniques. In the early 1990'...
152
click to vote
AWIC
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents an approach for applying inductive logic programming to information extraction from HTML documents structured as unranked ordered trees. We consider information...
183
Voted
EUROPLOP
2006
15 years 6 months ago
2006
Abstract: As a general rule of thumb, business logic in a multi-layered information system should be implemented in a dedicated domain layer and be separated from the presentation ...
154
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...