DOIAbstract
http://deepblue.lib.umich.edu/bitstream/2027.42/5238/5/bac3726.0001.001.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/5238/4/bac3726.0001.001.tx
http://deepblue.lib.umich.edu/bitstream/2027.42/5238/5/bac3726.0001.001.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/5238/4/bac3726.0001.001.tx
Note: the first five pages contain a brief summary of my previous research achievements and future r...
none1noWe show that context semantics can be fruitfully applied to the quantitative analysis of proo...
Nowadays computer science is surpassing mathematics as the primary field of logic applications, but ...
http://deepblue.lib.umich.edu/bitstream/2027.42/3955/5/bab7990.0001.001.pdfhttp://deepblue.lib.umich...
This chapter surveys the use of logic and computational complexity theory in cognitive science. We e...
As computing capabilities are extending, the amount of source code to manage is inevitably becoming ...
Automated deduction is not just application or implementation of logical systems. The field of compu...
Exploration of the connections between computational complexity, descriptive complexity, and logic r...
Investigating Logics for Feasible Computation The most celebrated open problem in theoretical comput...
The most celebrated open problem in theoretical computer science is, undoubtedly, the problem of whe...
In the field of Computation Science, ‘Commonsense Reasoning’ usually expresses the formalization of ...
International audienceWhile logic was once developed to serve philosophers and mathematicians, it is...
During the last forty years logics over nite structures have become a central pillar for studying th...
Research in AI has built upon the tools and techniques of many different disciplines, including form...
Abstract. The development of computational logic since the introduction of Frege’s modern logic in 1...
Note: the first five pages contain a brief summary of my previous research achievements and future r...
none1noWe show that context semantics can be fruitfully applied to the quantitative analysis of proo...
Nowadays computer science is surpassing mathematics as the primary field of logic applications, but ...
http://deepblue.lib.umich.edu/bitstream/2027.42/3955/5/bab7990.0001.001.pdfhttp://deepblue.lib.umich...
This chapter surveys the use of logic and computational complexity theory in cognitive science. We e...
As computing capabilities are extending, the amount of source code to manage is inevitably becoming ...
Automated deduction is not just application or implementation of logical systems. The field of compu...
Exploration of the connections between computational complexity, descriptive complexity, and logic r...
Investigating Logics for Feasible Computation The most celebrated open problem in theoretical comput...
The most celebrated open problem in theoretical computer science is, undoubtedly, the problem of whe...
In the field of Computation Science, ‘Commonsense Reasoning’ usually expresses the formalization of ...
International audienceWhile logic was once developed to serve philosophers and mathematicians, it is...
During the last forty years logics over nite structures have become a central pillar for studying th...
Research in AI has built upon the tools and techniques of many different disciplines, including form...
Abstract. The development of computational logic since the introduction of Frege’s modern logic in 1...
Note: the first five pages contain a brief summary of my previous research achievements and future r...
none1noWe show that context semantics can be fruitfully applied to the quantitative analysis of proo...
Nowadays computer science is surpassing mathematics as the primary field of logic applications, but ...
Add to ORKG