Výsledky vyhledávání - "Programming Languages and Software General Terms"
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: ftp://ftp.di.unipi.it/pub/Papers/bista/sclp-toplas.ps.gz
Témata: Denotational semantics, Operational semantics, I.2.3 [Deduction and Theorem Proving, Logic programming, I.2.4 [Articial Intelligence, Knowledge Representation Formalisms and Methods, I.2.5 [Articial Intelligence, Programming Languages and Software General Terms, Languages, Theory Additional Key Words and Phrases, Constraint, Soft Constraints, Constraint Programming Languages, Semantics
Popis souboru: application/postscript
-
2
Autoři: a další
Přispěvatelé: a další
Témata: F.3.2 [Logics And Meanings Of Programs, Semantics of Programming Languages— Denotational semantics, Operational semantics, I.2.3 [Deduction and Theorem Proving, Logic programming, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods, I.2.5 [Artificial Intelligence, Programming Languages and Software General Terms, Languages, Theory Additional Key Words and Phrases, Constraints, soft constraints, semantics
Popis souboru: application/pdf
-
3
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors I.2.5 [Artificial Intelligence, Programming Languages and Software General Terms Algorithms, Design, Language Keywords Norms, BDI, Agent Programming Language, Normative System 1. N-JASON, BDI AGENT FRAMEWORK
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.7448; http://www.cs.nott.ac.uk/~bsl/papers/Lee++:14a.pdf
-
4
Autoři:
Přispěvatelé:
Témata: agents, Languages and structures, I.2.5 [Artificial Intelligence, Programming Languages and Software General Terms Theory, Languages Keywords Declarative goals, Agent programming languages, Agent types
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.9821; http://people.cs.uu.nl/mehdi/publication/AAMAS06goaltype.pdf
-
5
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors I.2 [Artificial Intelligence, Programming Languages and Software General Terms Languages, Theory Keywords Agent programming languages, Belief Desire and Intention logics, Complexity of reasoning
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.385.8749; http://www.ifaamas.org/Proceedings/aamas2011/papers/B3_R52.pdf
-
6
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors I.2 [Artificial Intelligence, Programming Languages and Software General Terms Languages, Theory Keywords Agent programming languages, Belief Desire and Intention logics, Complexity of reasoning
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.9479; http://www.sce.carleton.ca/faculty/esfandiari/agents/papers/aamas2011/B3_R52.pdf
-
7
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors I.2.11 [Artificial Intelligence, Distributed Artificial Intelligence— Intelligent agents, languages and structures, I.2.5 [Artificial Intel- ligence, Programming Languages and Software General Terms Theory, Languages Keywords Agent Programming, Goals, Formal Semantics, Temporal Logic
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.486.3387; http://mmi.tudelft.nl/~birna/publications/2009/hindriks09aamas.pdf
-
8
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors I.2 [Artificial Intelligence, Programming Languages and Software General Terms Languages, Theory Keywords Agent programming languages, Belief Desire and Intention logics, Complexity of reasoning
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.229.241; http://www.cs.nott.ac.uk/%7Ebsl/papers/Vikhorev%2B%2B%3A11a.pdf
Nájsť tento článok vo Web of Science