Zobrazeno 1 - 4
of 4
pro vyhledávání: '"argument and automated reasoning"'
Autor:
Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu, John Slowik, James Oswald, Paul Bello, Micah Clark
Publikováno v:
Frontiers in Artificial Intelligence, Vol 6 (2024)
Formal deductive logic, used to express and reason over declarative, axiomatizable content, captures, we now know, essentially all of what is known in mathematics and physics, and captures as well the details of the proofs by which such knowledge has
Externí odkaz:
https://doaj.org/article/3f07fd3f5c6b4f08889cc81d6263e7bf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Besnard, Philippe, Garcia, Alejandro, Hunter, Anthony, Modgil, Sanjay, Prakken, Hendrik, Simari, Guillermo, Toni, Francesca, Sub Intelligent Systems, Intelligent Systems
Publikováno v:
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Argument and Computation, 5(1), 1. Taylor and Francis Ltd.
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Argument and Computation, 5(1), 1. Taylor and Francis Ltd.
In abstract argumentation, each argument is regarded as atomic. There is no internal structure to an argument. Also, there is no specification of what is an argument or an attack. They are assumed to be given. This abstract perspective provides many
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb796a14fe017c3d16db2ac0aae6774f
https://hdl.handle.net/1874/304260
https://hdl.handle.net/1874/304260
Autor:
Bringsjord S; Rensselaer AI & Reasoning (RAIR) Lab, Department of Computer Science, Department of Cognitive Science, Rensselaer Polytechnic Institute, Troy, NY, United States., Giancola M; Rensselaer AI & Reasoning (RAIR) Lab, Department of Computer Science, Department of Cognitive Science, Rensselaer Polytechnic Institute, Troy, NY, United States., Govindarajulu NS; Rensselaer AI & Reasoning (RAIR) Lab, Department of Computer Science, Department of Cognitive Science, Rensselaer Polytechnic Institute, Troy, NY, United States., Slowik J; Rensselaer AI & Reasoning (RAIR) Lab, Department of Computer Science, Department of Cognitive Science, Rensselaer Polytechnic Institute, Troy, NY, United States., Oswald J; Rensselaer AI & Reasoning (RAIR) Lab, Department of Computer Science, Department of Cognitive Science, Rensselaer Polytechnic Institute, Troy, NY, United States., Bello P; Naval Research Laboratory, Washington, DC, United States., Clark M; College of Information Sciences and Technology, Pennsylvania State University, State College, PA, United States.
Publikováno v:
Frontiers in artificial intelligence [Front Artif Intell] 2024 Jan 08; Vol. 6, pp. 1144569. Date of Electronic Publication: 2024 Jan 08 (Print Publication: 2023).