Programming language, Artificial intelligence, Programming paradigm, Functional logic programming and Semantics are his primary areas of study. His studies link 3APL with Programming language. John-Jules Ch. Meyer works in the field of Artificial intelligence, namely Intelligent agent.
He works mostly in the field of Functional logic programming, limiting it down to topics relating to Programming language theory and, in certain cases, First-generation programming language and Semantics of logic, as a part of the same area of interest. His Semantics research incorporates elements of Semantics, Philosophy of language, Cognitive model, Recursion and Formalism. His studies in Dynamic logic integrate themes in fields like Epistemic modal logic, Multimodal logic, Deontic logic and Philosophy of logic.
John-Jules Ch. Meyer mainly investigates Artificial intelligence, Programming language, Multi-agent system, Intelligent agent and Knowledge management. As part of the same scientific family, John-Jules Ch. Meyer usually focuses on Artificial intelligence, concentrating on Dynamic logic and intersecting with Multimodal logic and Deontic logic. His study in Operational semantics, Functional logic programming, Programming paradigm, Semantics and Fifth-generation programming language are all subfields of Programming language.
His research in Functional logic programming intersects with topics in Programming language theory and Logic programming. He has researched Programming language theory in several fields, including First-generation programming language and Programming domain. As a part of the same scientific family, John-Jules Ch. Meyer mostly works in the field of Semantics, focusing on Semantics and, on occasion, 3APL.
His main research concerns Artificial intelligence, Multi-agent system, Opportunism, Manufacturing engineering and Normative. His work carried out in the field of Artificial intelligence brings together such families of science as Machine learning and Task. His work deals with themes such as Intelligent agent, Common knowledge, Autonomous agent and Logical framework, which intersect with Multi-agent system.
John-Jules Ch. Meyer interconnects Linear temporal logic, Theoretical computer science, Sketch, Cognitive science and Complex system in the investigation of issues within Normative. His studies deal with areas such as Model checking, Syntax and Semantics as well as Linear temporal logic. His Syntax study deals with the bigger picture of Programming language.
John-Jules Ch. Meyer mainly focuses on Artificial intelligence, Bayesian network, Probabilistic logic, Graph and Argumentation theory. His Artificial intelligence research is multidisciplinary, relying on both Machine learning and Management science. His Dynamic Bayesian network study in the realm of Bayesian network interacts with subjects such as Variable-order Bayesian network.
His work in Graph addresses subjects such as Interpretation, which are connected to disciplines such as Function and Context. Within one scientific family, John-Jules Ch. Meyer focuses on topics pertaining to Multi-agent system under Context, and may sometimes address concerns connected to Normative. John-Jules Ch. Meyer has included themes like Argumentative and Data science in his Argumentation theory study.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Epistemic logic for AI and computer science
John-Jules Ch. Meyer;Wiebe van der Hoek.
(1995)
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.
John-Jules Ch. Meyer.
Notre Dame Journal of Formal Logic (1987)
Agent Programming in 3APL
Koen V. Hindriks;Frank S. De Boer;Wiebe Van Der Hoek;John-Jules Ch. Meyer.
Autonomous Agents and Multi-Agent Systems (1999)
Deontic logic in computer science: normative system specification
John-Jules Ch. Meyer;Roel J. Wieringa.
(1994)
A Programming Language for Cognitive Agents: Goal Directed 3APL
Mehdi Dastani;M. Birna van Riemsdijk;Frank Dignum;John-Jules Ch. Meyer.
(2003)
Intelligent Agents VIII
John-Jules Ch. Meyer;Milind Tambe.
(2002)
Agent Programming with Declarative Goals
Koen V. Hindriks;Frank S. de Boer;Wiebe van der Hoek;John-Jules Ch. Meyer.
intelligent agents (2000)
Boolean games
Paul Harrenstein;Wiebe van der Hoek;John-Jules Meyer;Cees Witteveen.
theoretical aspects of rationality and knowledge (2001)
Programming Multi-Agent Systems in 3APL
Mehdi Dastani;M. van Birna Riemsdijk;John-Jules Ch. Meyer.
Multi-Agent Programming (2005)
Reasoning about emotional agents
John-Jules Ch. Meyer.
International Journal of Intelligent Systems (2006)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Utrecht University
Umeå University
University of Liverpool
Centrum Wiskunde & Informatica
Vrije Universiteit Amsterdam
Utrecht University
University of Luxembourg
Vrije Universiteit Amsterdam
Umeå University
Delft University of Technology
Swinburne University of Technology
Stanford University
Chinese Academy of Sciences
Australian National University
University of Tokyo
Pohang University of Science and Technology
University of California, Berkeley
University of California, Berkeley
University of Alaska Fairbanks
Tel Aviv University
Montreal Heart Institute
Florida State University
University of Alaska Fairbanks
University of Notre Dame
University of California, Davis
Thomas Jefferson University