![Mathematics / Artificial intelligence / Logic in computer science / Deduction / Reasoning / Reasoning system / Fluent / Magni / Frame problem / Automated theorem proving / Science / Logic Mathematics / Artificial intelligence / Logic in computer science / Deduction / Reasoning / Reasoning system / Fluent / Magni / Frame problem / Automated theorem proving / Science / Logic](https://www.pdfsearch.io/img/99eaabebfa2df20ac2ee44f51f1e1d26.jpg) Date: 2012-01-23 11:35:13Mathematics Artificial intelligence Logic in computer science Deduction Reasoning Reasoning system Fluent Magni Frame problem Automated theorem proving Science Logic | | Logical Agents for Language and Action∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed]Add to Reading ListSource URL: www.ida.liu.seDownload Document from Source Website File Size: 82,10 KBShare Document on Facebook
|