Results 31 to 40 of about 351,573 (182)
A Logic for Multi-Agent Conformant Planning Over Transition Systems
IEEE Access, 2020 Reasoning about actions and information is one of the most active areas of research in artificial intelligence. In this article, we study the reasoning about actions and information in multi-agent conformant planning, which is an essential branch of ...
Peipei Wu, Yanjun Li
doaj +1 more source
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS
, 2015 Model checking has been successfully used in many computer science fields, including artificial intelligence, theoretical computer science, and databases.
Molinari, A., Montanari, A., Peron, A.
core +1 more source
Logical consequences. Theory and applications: An introduction. [PDF]
, 2020 2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind.
Augusto, Luis M.
core
ARTIFICIAL INTELLIGENCE: ITS CONCEPT AND CHARACTERISTICS
Правовое государство: теория и практикаDespite the wide application of artificial intelligence technology in many areas of activity, the use of the term “artificial intelligence” in regulatory acts at various levels, there is still no definition of artificial intelligence as an object of
ARKHIEREEV Nikolay Viktorovich
doaj +1 more source
Hybrid artificial intelligence: Application in the banking sector
Revista de Ciencias SocialesThe integration of smart technologies, from data mining to Artificial Intelligence, has revolutionized the way financial institutions manage and use information.
Daniel Corral de La Mata +2 more
doaj +1 more source
, 2011 Four options for assigning a meaning to Islamic Logic are surveyed including a new proposal for an option named "Real Islamic Logic" (RIL). That approach to Islamic Logic should serve modern Islamic objectives in a way comparable to the functionality of ...
Bergstra, Jan Aldert
core +1 more source
Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic
, 2018 Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware verification --- modelling scenarios using logical formalisms and inferring ...
Geck, Gaetano +5 more
core +1 more source
Designing Women: Essentializing Femininity in AI Linguistics [PDF]
, 2019 Since the eighties, feminists have considered technology a force capable of subverting sexism because of technology’s ability to produce unbiased logic.
Vega, Ellianie S.
core +1 more source
International Review of Economics & FinanceCorporate tax avoidance is an enduring topic. With the advent of the intelligent era, how artificial intelligence affects corporate tax avoidance has become an important topic of existing researches.
Guimin Qu, Hao Jing
doaj +1 more source
Automated search for several alternative logical inferences in a mivar knowledge base [PDF]
E3S Web of ConferencesThis paper describes an approach to the automatic generation of a mivar knowledge base of a three-dimensional logic space. This knowledge base is created to provide three-dimensional robot movement.
Kotsenko Anton +7 more
doaj +1 more source