Chatbot listing, virtual agents, virtual assistants, chat bot directory, conversational agents, virtual human news, chatterbot list
NEWS: Chatbots.org survey on 3000 US and UK consumers shows it is time for chatbot integration in customer service!read more..
ACM Transactions on Computational Logic
Summary: ACM Transactions on Computational Logic focuses on artificial intelligence, computational linguistics.
ACM Transactions on Computational Logic (TOCL) is published quarterly. The first issue appeared in July 2000, and the journal is indexed by ISI beginning with the 2006 volume.
| Publisher | Association for Computing Machinery (ACM) |
| More information | http://tocl.acm.org |
| Keywords | artificial intelligence, computational linguistics, automated deduction, automata, temporal logic, automated verification, concurrency calculi, constraint programming, finite model theory, complexity of logical theories, functional programming, logical aspects of computational complexity, logical aspects of computational linguistics, computational semantics, logical aspects of databases, logical aspects of knowledge representation, logic of geometry, physics, logic, machine learning, logic programming, logics of uncertainty, modal logic, epistemic logic, dynamic logic, logic and games, model checking and formal methods, nonmonotonic reasoning, answer sets, program development, program verification, program specification, proof theory, term rewriting systems, type theory, logical frameworks |
New Comment
Only registered members are allowed to comment.
or login
Browse Topics
