Showing 101 - 120 of 137

101

Design of a Cloud Learning System Based on Multi-Agents Approach
Mohammed Bousmah ; Ouidad Labouidya ; Najib El
International Journal of Advanced Computer Science and Applications. 6

Computer Networks and Co... 7. Clean energy Multi-Agent Systems Utility computing Cloud testing Software as a service
Academic journal
Save to List
102

A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
Andreas Abel ; Thierry Coquand ; Miguel Pagano
Lecture Notes in Computer Science ISBN: 9783642022722
Logical Methods in Computer Science, Vol Volume 7, Issue 2 (2011)

FOS: Computer and inform... Computer Science - Logic... Corollary Mathematical proof 02 engineering and techn... 01 natural sciences
Academic journal
Save to List
103

Autonomous Mobile Robot Emmy III
Germano Lambert-Torres ; Jair Minoro Abe ; Helga Gonzaga Martins ; et al.
Studies in Computational Intelligence ISBN: 9783642009082

Nonmonotonic Reasoning Artificial intelligence Human–computer interacti... Robot 4. Education 15. Life on land
Book
Save to List
104

A framework for the consensus decision-making based on arguments and common knowledge formation
Ayslan Trevizan Possebom ; Mariela Morveli-Espinoza ; César Augusto Tacla
Acta Scientiarum. Technology; Vol 41 (2019): Publicação Contínua; e37955
Acta Scientiarum. Technology; v. 41 (2019): Publicação Contínua; e37955
Acta scientiarum. Technology
Universidade Estadual de Maringá (UEM)
instacron:UEM

Artificial intelligence Economics Argumentative Epistemology Epistemic modal logic Multimodal logic
Academic journal
Save to List
105

Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus
Ali Assaf ; Alejandro Díaz-Caro ; Simon Perdrix ; et al.
Logical Methods in Computer Science, Vol Volume 10, Issue 4 (2014)

FOS: Computer and inform... Computer Science - Logic... [INFO.INFO-LO] Computer... Curry–Howard corresponde... Linear logic 01 natural sciences
Academic journal
Save to List
106

Global positive polarity items and obligatory exhaustivity
Benjamin Spector
Semantics and Pragmatics, Vol 7, Iss 0, Pp 1-61 (2014)
Semantics and Pragmatics
Semantics & Pragmatics

Artificial intelligence disjunction Semantic property Biochemistry Logic Programming and Kn... Cognitive psychology
Academic journal
Save to List
107

SitLog: A Programming Language for Service Robot Tasks
Luis A. Pineda ; Lisset Salinas ; Iván Meza ; et al.
International Journal of Advanced Robotic Systems, Vol 10 (2013)
International Journal of Advanced Robotic Systems

Interpreter Artificial intelligence 0209 industrial biotechn... TK7800-8360 Artificial Intelligence... Formalism (music)
Academic journal
Save to List
108

Probabilistic Distributed Algorithm for Uniform Election in Triangular Grid Graphs
Elham Mehdi ; Ismail Hind ; Abdelaaziz El
International Journal of Advanced Computer Science and Applications. 4

Artificial intelligence Class (philosophy) Trajectory Data Mining a... Geometry Set (abstract data type) 0102 computer and inform...
Academic journal
Save to List
109

Formal Approaches to Modelling and Verifying Resource-bounded Agents-state of the Art and Future Prospects
Abdur Rakib
Journal of Information Technology & Software Engineering.

Economics Resource (disambiguation... 02 engineering and techn... 0603 philosophy, ethics... Mathematical analysis 7. Clean energy
Academic journal
Save to List
110

Semantics for Interactive Sequential Systems and Non-Interference Properties
Matias Lee ; Pedro R. D'Argenio
CLEI Electronic Journal, Vol 14, Iss 3 (2011)
CLEI Electronic Journal, Volume: 14, Issue: 3, Pages: 7-7, Published: DEC 2011

refinamiento Artificial intelligence Observability composición interface automata autómata de interfaz
Academic journal
Save to List
111

REPRESENTAÇAO SEMÂNTICA ANALISADORES GRAMATICAIS
Pagani, Luiz Arthur
Revista da ABRALIN; V. 10, N. 1 (2011)
Revista da ABRALIN
Universidade Federal do Paraná (UFPR)
instacron:UFPR

interpretação semântica... Physics Abstract Interpretation FOS: Humanities Statistical Machine Tran... Computer science
Academic journal
Save to List
112

A new approach of designing Multi-Agent Systems
Sara Maalal ; Malika Addou
International Journal of Advanced Computer Science and Applications. 2

FOS: Computer and inform... Artificial intelligence Class (philosophy) Computer Science - Artif... Computer Networks and Co... Class diagram
Academic journal
Save to List
113

Validades Existenciais e Enigmas Relacionados
Paulo A. S. Veloso ; Luiz Carlos Pereira ; Edward Hermann Hæusler
DoisPontos, Vol 6, Iss 2, Pp 145-163 (2009)

Tautologies Logic B1-5802 FOS: Humanities 06 humanities and the ar... 0603 philosophy, ethics...
Academic journal
Save to List
114

A Theory for Abstract Reduction Systems in PVS
Mauricio Ayala-Rincón ; André L. Galdino
CLEI Electronic Journal, Vol 11, Iss 2 (2008)

Rewriting Abstract Interpretation Mathematical proof Geometry 0102 computer and inform... 02 engineering and techn...
Academic journal
Save to List
115

A rule repository for active database systems
Sidney Viana ; Jorge Rady de Almeida ; Judith Pavón
CLEI Electronic Journal, Vol 10, Iss 2 (2007)

FOS: Computer and inform... Artificial intelligence Data Stream Management S... Computer Networks and Co... Economics QoS-Aware Web Services C...
Academic journal
Save to List
116

Some Hardness Results for Question/Answer Games
Sarmad, A. ; Sheikh, N.

Computational Theory and... Artificial Intelligence Logic Programming and Kn... Temporal Logic Questions and answers Computer Science
Save to List
117

Additional material for 'Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities'
Frédéric Lang ; Radu Mateescu ; Franco Mazzanti

Rough Sets Theory and Ap... Pure mathematics Congruence relation Social science Computer science 12. Responsible consumpt...
Save to List
118

Simple and subdirectly irreducibles bounded distributive latticeswith unary operators
Sergio A. Celani
International Journal of Mathematics and Mathematical Sciences, Vol 2006 (2006)

Rough Sets Theory and Ap... Distributive property Pure mathematics Epistemology 02 engineering and techn... Discrete mathematics
Academic journal
Save to List
119

Knowledge Component of a Multiagent Distributed Decision Support System
Georgina Stegmayer ; María Laura Caliusco ; Omar Chiotti ; et al.
CLEI Electronic Journal, Vol 5, Iss 1 (2002)

Artificial intelligence Computer Networks and Co... Component (thermodynamic... Set (abstract data type) Epistemology 02 engineering and techn...
Academic journal
Save to List
120

Arcabouço para Análise de Conflitos Normativos em Sistemas Multiagentes
Daniela Godinho Yabe ; Eduardo Augusto Silvestre
Anais do 8º Encontro de Tecnologia: Empreendedorismo, Inovação e Sustentabilidade. :57-58

FOS: Computer and inform... 0209 industrial biotechn... 9. Industry and infrastr... Physics 4. Education Optics
Academic journal
Save to List

Filter