• Suche: "Logic Programming and Knowledge Representation"

Treffer 121 - 140 von 269

121

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 …
Fachzeitschrift
Zu den Favoriten
122

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 …
Fachzeitschrift
Zu den Favoriten
123

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 …
Fachzeitschrift
Zu den Favoriten
124

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 …
Fachzeitschrift
Zu den Favoriten
125

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... …
Fachzeitschrift
Zu den Favoriten
126

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... …
Fachzeitschrift
Zu den Favoriten
127

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... …
Fachzeitschrift
Zu den Favoriten
128

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 …
Zu den Favoriten
129

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... …
Zu den Favoriten
130

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 …
Fachzeitschrift
Zu den Favoriten
131

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... …
Fachzeitschrift
Zu den Favoriten
132

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 …
Fachzeitschrift
Zu den Favoriten
133

A General Framework for Ampliative Inference Patterns
Claudio Delrieux
CLEI Electronic Journal, Vol 1, Iss 2 (1998)

Relation (database) Rough Sets Theory and Ap... Artificial intelligence Non-monotonic logic Epistemology Defeasible reasoning …
Fachzeitschrift
Zu den Favoriten
134

Sobre a função semântica dos predicados
Celso R. Braida
Revista Dissertatio de Filosofia. 45:3

Social Sciences Experimental and Cogniti... FOS: Humanities Language and Linguistics Semantics FOS: Philosophy, ethics... …
Fachzeitschrift
Zu den Favoriten
135

Supplementary material for 'Congruences Preserving Temporal Formulas That Combine Weak and Strong Modalities'
Frédéric Lang ; Radu Mateescu ; Franco Mazzanti

Computer Networks and Co... Distributed Constraint O... Pure mathematics Congruence relation Social science Computer science …
Zu den Favoriten
136

The Learning of an Opponent's Approximate Preferences in Bilateral Automated Negotiation
Hamid Jazayeriy ; Masrah Azrifah Azmi Murad ; Norasrudin Sulaiman ; et al.
Journal of Theoretical and Applied Electronic Commerce Research
Volume 6
Issue 3
Pages 26-84
Journal of theoretical and applied electronic commerce research, Volume: 6, Issue: 3, Pages: 65-84, Published: DEC 2011

Artificial intelligence Social Sciences 02 engineering and techn... Management Science and O... Emarketplace Mechanism Design in Auct... …
Fachzeitschrift
Zu den Favoriten
137

Verdad o referencia : Consecuencias Semánticas del Lema A de Tarski
Montalbetti, Mario ; Trelles, Osear
Lexis, Vol 12, Iss 1 (1988)
Lexis, Vol 12, Iss 1, Pp 91-96 (1988)
Lexis; Vol. 12 Núm. 1 (1988); 91-96
Revistas-Pontificia Universidad Católica del Perú
Pontificia Universidad Católica del Perú
instacron:PUCP
Lexis; Vol. 12, Núm. 1 (1988)
PUCP-Institucional

Sociology and Political... Linguística Social Sciences P1-1091 Humanities Logic Programming and Kn... …
Fachzeitschrift
Zu den Favoriten
138

Didáctica de la lógica para el ejercicio de la razonabilidad
Rubén Darío Henao ; Mónica Moreno Torres
Magis: Revista Internacional de Investigación en Educación, Vol 9, Iss 18, Pp 85-110 (2016)
Repositorio UdeA
Universidad de Antioquia
instacron:Universidad de Antioquia

Reasonableness Razonabilidad Logic Dialectical logic 0603 philosophy, ethics... 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
139

Modality and evidentiality: a discussion of philosophical and formal aspects
Monawar, Monica
Letras de Hoje; Vol. 51 No. 3 (2016): Tempo, Aspecto, Modo e Evidencialidade: interface entre estruturas cognitivas e estruturas gramaticais; 412-420
Letras de Hoje; Vol. 51 Núm. 3 (2016): Tempo, Aspecto, Modo e Evidencialidade: interface entre estruturas cognitivas e estruturas gramaticais; 412-420
Letras de Hoje; v. 51 n. 3 (2016): Tempo, Aspecto, Modo e Evidencialidade: interface entre estruturas cognitivas e estruturas gramaticais; 412-420
Letras de Hoje
Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
instacron:PUC_RS

Artificial intelligence Evidentiality Epistemology Modality (human–computer... 0603 philosophy, ethics... Humanities …
Fachzeitschrift
Zu den Favoriten
140

Operational Variables and Meta-theorems
Guilherme Kubiszeski
Intuitio. 9:28

Mathematical proof Geometry Set (abstract data type) Epistemology Mathematical analysis 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter