414 search results - page 81 / 83 » Resolution for Intuitionistic Logic |
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Modern cities are becoming increasingly networked Network Operator and the Service Providers can introduce environments and a plethora of computing equipment interacts their ow...
DFG
2007
Springer
14 years 2 months ago
2007
Springer
: To better understand how developmental regulatory networks are defined in the genome sequence, the Berkeley Drosophila Transcription Network Project (BDNTP) has developed a suit...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
This paper summarizes the results of the X-SOM tool in the OAEI 2007 campaign. X-SOM is an extensible ontology mapper that combines various matching algorithms by means of a feed-f...
PLDI
2006
ACM
14 years 2 months ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
ARGMAS
2004
Springer
14 years 2 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...