Showing 61 - 80 of 137

61

Alternating-time temporal logic with resource bounds
Hoang Nga Nguyen ; Natasha Alechina ; Brian Logan ; et al.
Journal of Logic and Computation. 28:631-663

Non-monotonic logic Strategic Ability, Resou... Resource (disambiguation... Temporal logic 0102 computer and inform... 02 engineering and techn...
Academic journal
Save to List
62

Modularization in Belief-Desire-Intention agent programming and artifact-based environments
Gustavo Ortíz-Hernández ; Alejandro Guerra‐Hernández ; Jomi Fred Hübner ; et al.
PeerJ Comput Sci
PeerJ Computer Science, Vol 8, p e1162 (2022)

Artificial intelligence Cohesion (chemistry) Agents and artifacts Social Sciences Organic chemistry Business, Management and...
Academic journal
Save to List
63

On the formal semantics of IF-like logics
Santiago Figueira ; Daniel Gorín ; Rafael Grimson
Lecture Notes in Computer Science ISBN: 9783540699361
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
J. Comput. Syst. Sci. 2010;76(5):333-346
Biblioteca Digital (UBA-FCEN)
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN

Monoidal t-norm logic Artificial intelligence Principle of composition... Gene Biochemistry 01 natural sciences
Academic journal
Save to List
64

Call-by-Need, Neededness and All That
Andrés Viso ; Alejandro Ríos ; Delia Kesner
Lecture Notes in Computer Science ISBN: 9783319893655

FOS: Computer and inform... Computer Science - Logic... Idempotence Geometry 0102 computer and inform... 02 engineering and techn...
Book
Save to List
65

Factoring Derivation Spaces via Intersection Types (Extended Version)
Gonzalo Ciruelos ; Pablo Barenbaum
arXiv: Logic in Computer Science.

FOS: Computer and inform... Computer Science - Logic... Separation Logic Economics Curry–Howard corresponde... 0102 computer and inform...
Save to List
66

One-variable fragments of intermediate logics over linear frames
Xavier Caicedo ; George Metcalfe ; Ricardo Óscar Rodríguez ; et al.
Caicedo, Xavier; Metcalfe, George; Rodriguez, Ricardo; Tuyt, Olim (2022). One-variable fragments of intermediate logics over linear frames. Information and computation, 287, p. 104755. Elsevier 10.1016/j.ic.2021.104755 <http://dx.doi.org/10.1016/j.ic.2021.104755>

Monoidal t-norm logic Equivalence (formal lang... Artificial intelligence Epistemology 0102 computer and inform... T-norm fuzzy logics
Academic journal
Save to List
67

Expresabilidad, validez y recursos lógicos
Eduardo Alejandro Barrio
Crítica, Vol 46, Iss 138 (2018)
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas

lenguajes de orden super... Validity Paradox Higher-Order Languages Philosophy. Psychology.... FOS: Humanities verdad transparente
Academic journal
Save to List
68

A Logical Framework for the Representation and Verification of Context-aware Agents
Abdur Rakib ; Hafiz Mahfooz Ul Haque
Mobile Networks and Applications. 19:585-597

Rewriting Model checking Artificial intelligence FOS: Political science Set (abstract data type) FOS: Law
Academic journal
Save to List
69

Endomorphisms of Implication Algebras
H. Gaitán
Demonstratio Mathematica, Vol 47, Iss 2, Pp 284-288 (2014)

Algebra over a field Pure mathematics implication algebra 01 natural sciences Computational Theory and... Artificial Intelligence
Academic journal
Save to List
70

Horn Clause Contraction Functions
James P. Delgrande ; Renata Wassermann
Journal of Artificial Intelligence Research. 48:475-511

Artificial intelligence 02 engineering and techn... 0603 philosophy, ethics... Logic programming Horn clause Forgetting
Academic journal
Save to List
71

UNDERSTANDING A SIMPLE ARABIC STORIES USING EVENT CALCULUS
Mohamed Abd El-Salam ; Aly Aly Fahmy ; Ahmed Kamal Hussein
American Journal of Applied Sciences. 10:1298-1306

Artificial intelligence History FOS: Political science 0211 other engineering a... FOS: Law Epistemology
Academic journal
Save to List
72

Models and emerging trends of concurrent constraint programming
Carlos Olarte ; Camilo Rueda ; Frank D. Valencia ; et al.
Constraints. 18:535-578

ACM: F.: Theory of Compu... Artificial intelligence [INFO.INFO-LO] Computer... Computer Networks and Co... Variety (cybernetics) Distributed Constraint O...
Academic journal
Save to List
73

Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading
Rodrigo Ribeiro ; Carlos Camarão ; Lucília Figueiredo
Journal of the Brazilian Computer Society. 19:423-432

Artificial intelligence Class (philosophy) Data Stream Management S... Computer Networks and Co... Geometry Set (abstract data type)
Academic journal
Save to List
74

Minefield Mapping Using Cooperative Multirobot Systems
Alaa Khamis ; Asser ElGindy
Journal of Robotics, Vol 2012 (2012)

Artificial intelligence 0209 industrial biotechn... Collective Behavior Human–computer interacti... Computer Networks and Co... Robot
Academic journal
Save to List
75

A graded BDI agent model to represent and reason about preferences
Ana Casali ; Lluís Godó ; Carles Sierra ; et al.
Digital.CSIC. Repositorio Institucional del CSIC
instname

Cognitive science Artificial intelligence 02 engineering and techn... Logical framework Context (archaeology) Bipolar preferences
Academic journal
Save to List
76

Paso a paso: Una solución gradualista a la paradoja del sorites, lejos de la indeterminación y del agnosticismo
Lorenzo Peña ; Marcelo Vásconez ; Peña, Lorenzo [0000-0002-0186-6215] ; et al.
Biblos-e Archivo. Repositorio Institucional de la UAM
Universidad Autónoma de Madrid
instname
Digital.CSIC. Repositorio Institucional del CSIC
Consejo Superior de Investigaciones Científicas (CSIC)
Bajo Palabra, Vol 0, Iss 5 (2016)

Nonmonotonic Reasoning Sociology and Political... B1-5802 BD10-701 Social Sciences FOS: Humanities
Academic journal
Save to List
77

Aspects of planning support for human-agent coalitions
Clauirton Siebra ; Natasha Correia Queiroz Lino
Journal of the Brazilian Computer Society v.15 n.4 2009
Journal of the Brazilian Computer Society
Sociedade Brasileira de Computação (SBC)
instacron:UFRGS
Journal of the Brazilian Computer Society, Volume: 15, Issue: 4, Pages: 41-55, Published: DEC 2009

Knowledge management 0211 other engineering a... FOS: Mechanical engineer... Epistemology 02 engineering and techn... human-agent interaction
Academic journal
Save to List
78

False triviality of truth
Lucas Ribeiro Vollet

Predicate (mathematical... Assertion Social Sciences Experimental and Cogniti... Epistemology Logic Programming and Kn...
Save to List
79

An Axiomatic Characterization of Ensconcement-Based Contraction
Fermé, E. ; Krevneris, M. ; Reis, M. ; et al.
Journal of Logic and Computation. 18:739-753

Geometry 02 engineering and techn... Belief bases 0603 philosophy, ethics... Description Logics Faculdade de Ciências Ex...
Academic journal
Save to List
80

Patrones inferenciales
Axel Arturo Barceló Aspeitia
Crítica, Vol 40, Iss 120 (2019)

lógica Philosophy. Psychology.... FOS: Humanities Prior Type Inference Peregrin
Academic journal
Save to List

Filter