1
Vydáno 2008
Obsah: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2008
Obsah: ...-Based Partitioning -- Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics...
Získat plný text
Elektronický zdroj E-kniha
3
Obsah: ...Introduction -- Lexical Analysis -- Syntactic Analysis -- Semantic Analysis -- References -- Index....
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2005
Obsah: ... -- Logic for Rough Sets with Rough Double Stone Algebraic Semantics -- Feature Selection and Reduction...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2007
Obsah: ... the Navigation in Semantic Websites -- Foundations of the Semantic Web -- A Novel Combination of Answer Set...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2012
Obsah: ...Part I Clustering Large Data-Sets: Clustering Large Data Set: An Applied Comparative Study (Bocci L...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2006
Obsah: ... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2008
Obsah: ... Revisited: Semantics and Representation of Aggregates -- Compiling Fuzzy Answer Set Programs to Fuzzy...
Získat plný text
Elektronický zdroj E-kniha
9
Vydáno 2005
Obsah: ... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2007
Obsah: ... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2008
Obsah: ... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...
Získat plný text
Elektronický zdroj E-kniha
12
Vydáno 2006
Obsah: ... and Signatures -- Efficient Zero Knowledge on the Internet -- Independent Zero-Knowledge Sets -- An Efficient...
Získat plný text
Elektronický zdroj E-kniha
13
Vydáno 2010
Obsah: .... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...
Získat plný text
Elektronický zdroj E-kniha
14
Vydáno 2015
Obsah: ... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...
Získat plný text
Elektronický zdroj E-kniha
15
Vydáno 2015
Obsah: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
Získat plný text
Elektronický zdroj E-kniha
16
Vydáno 2008
Obsah: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Získat plný text
Elektronický zdroj E-kniha
17
Vydáno 2007
Obsah: ... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...
Získat plný text
Elektronický zdroj E-kniha
18
Vydáno 2014
Obsah: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Získat plný text
Elektronický zdroj E-kniha
19
Vydáno 2013
Obsah: ... for Giving Semantics to Machine Language -- Paragon for Practical Programming with Information-Flow Control...
Získat plný text
Elektronický zdroj E-kniha
20
Vydáno 2013
Obsah: ... Extensions of Answer Set Programming -- Forgetting under the Well-Founded Semantics -- The Fourth Answer Set...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání