Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Ulrich Höhle, Tomasz Kubiak |
Approximating Orders in Meet-Continuous Lattices and Regularity Axioms in Many Valued Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 25(1), pp. 9-17, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06B23, 54A40, 54D10 |
10 | Jiye Liang, Yuhua Qian |
Information granules and entropy theory in information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(10), pp. 1427-1444, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
rough set, information systems, entropy, information granule, information granulation |
10 | Wojciech Buszkowski, Ewa Palka |
Infinitary Action Logic: Complexity, Models and Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(1), pp. 1-18, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
action algebra, relation algebra, Kleene algebra, categorial grammar |
10 | Gerhard Schurz, Hannes Leitgeb |
Finitistic and Frequentistic Approximation of Probability Measures with or without sigma-Additivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(2), pp. 257-283, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
finite additivity, ?-additivity, frequency theory, finitistic approximation, Probability |
10 | Andrea Mesiarová-Zemánková |
Semi-divisible triangular norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(6), pp. 535-542, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Residual implication, Ordinal sum, Triangular norm |
10 | Petr Hájek 0001, Radko Mesiar |
On copulas, quasicopulas and fuzzy logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(12), pp. 1239-1243, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Joey Sik Chun Lam, Derek H. Sleeman, Jeff Z. Pan, Wamberto Weber Vasconcelos |
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics X, pp. 62-95, 2008, Springer, 978-3-540-77687-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Description Logics reasoning, Ontologies |
10 | Christian Urban |
Nominal Techniques in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 40(4), pp. 327-356, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Nominal logic work, Lambda-calculus, Theorem provers |
10 | Balasubramaniam Jayaram |
On the Law of Importation (x wedge y) longrightarrow z equiv (x longrightarrow (y longrightarrow z)) in Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 16(1), pp. 130-144, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Arthur W. Apter, Peter Koepke |
Making all cardinals almost Ramsey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(7-8), pp. 769-783, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03E02, 03E25, 03E55, 03E35, 03E45 |
10 | Fabrizio Caruso, Jacopo D'Aurizio, Alasdair McAndrew |
Efficient Finite Fields in the Maxima Computer Algebra System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIFI ![In: Arithmetic of Finite Fields, 2nd International Workshop, WAIFI 2008, Siena, Italy, July 6-9, 2008, Proceedings, pp. 62-76, 2008, Springer, 978-3-540-69498-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
modular roots, Maxima, finite fields, primitive element |
10 | Yasuo Kawahara, Michael Winter 0001 |
Cardinality in Allegories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 274-288, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | John C. Reynolds |
Readable Formal Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings, pp. 1, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Rastislav Bodík |
Software synthesis with sketching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 1-2, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
synthesis |
10 | Anya Helene Bagge, Valentin David, Magne Haveraaen |
Testing with concepts and axioms in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 773-774, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
C++, specifications, program transformation, test generation, generative programming, unit testing, concepts, axioms, mouldable programming, C++0x |
10 | Alireza Attar, Mohammad Reza Nakhai, A. Hamid Aghvami |
Cognitive Radio Game: A Framework for Efficiency, Fairness and QoS Guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 4170-4174, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Junehee Lee |
In-band mobile digital TV transmission technology for advanced television systems committee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 13th Asia South Pacific Design Automation Conference, ASP-DAC 2008, Seoul, Korea, January 21-24, 2008, pp. 382, 2008, IEEE, 978-1-4244-1921-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Arnon Avron |
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pillars of Computer Science ![In: Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, pp. 87-106, 2008, Springer, 978-3-540-78126-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Jan A. Bergstra, Yoram Hirshfeld, John V. Tucker |
Fields, Meadows and Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pillars of Computer Science ![In: Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, pp. 166-178, 2008, Springer, 978-3-540-78126-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Florian Schoppmann |
The Power of Small Coalitions in Cost Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings, pp. 665-674, 2008, Springer, 978-3-540-92184-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Yih-Kuen Tsay, Bow-Yaw Wang |
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings, pp. 36-45, 2008, Springer, 978-3-540-70843-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Roman Kuznets |
Self-referentiality of Justified Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings, pp. 228-239, 2008, Springer, 978-3-540-79708-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer |
LogAnswer - A Deduction-Based Question Answering System (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, pp. 139-146, 2008, Springer, 978-3-540-71069-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil |
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, pp. 441-456, 2008, Springer, 978-3-540-71069-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Franz Baader, Felix Distel |
A Finite Basis for the Set of EL-Implications Holding in a Finite Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings, pp. 46-61, 2008, Springer, 978-3-540-78136-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Huo Yan Chen, Lin Tan, T. H. Tse |
A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 747-750, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Jie Zhao, Guohua Zhan, Juan Feng |
Disputed Authorship in C Program Code after Detection of Plagiarism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (1) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 1: Artificial Intelligence, December 12-14, 2008, Wuhan, China, pp. 86-89, 2008, IEEE Computer Society, 978-0-7695-3336-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Andrew Schumann |
Non-well-Founded Probabilities on Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMPS ![In: Soft Methods for Handling Variability and Imprecision, Selected papers from the 4th International Conference on Soft Methods in Probability and Statistics, SMPS 2008, Toulouse, France, September 8-10, 2008, pp. 59-65, 2008, Springer, 978-3-540-85026-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Mikel Egaña, Alan L. Rector, Robert Stevens 0001, Erick Antezana |
Applying Ontology Design Patterns in Bio-ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Knowledge Engineering: Practice and Patterns, 16th International Conference, EKAW 2008, Acitrezza, Italy, September 29 - October 2, 2008. Proceedings, pp. 7-16, 2008, Springer, 978-3-540-87695-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Yi Zhou 0013, Yan Zhang 0003 |
Rule Calculus: Semantics, Axioms and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings, pp. 416-428, 2008, Springer, 978-3-540-87802-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Frédéric Fürst, Francky Trichet |
Ontology Matching Based on the Comparison of Axioms Represented with Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: Second International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2008), March 4th-7th, 2008, Technical University of Catalonia, Barcelona, Spain, pp. 853-858, 2008, IEEE Computer Society, 978-0-7695-3109-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Péter L. Erdös, Lajos Soukup |
How To Split Antichains In Infinite Posets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 27(2), pp. 147-161, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 06A07, 03E05 |
10 | Ronan Cummins, Colm O'Riordan |
An axiomatic comparison of learned term-weighting schemes in information retrieval: clarifications and extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 28(1), pp. 51-68, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Axiomatic constraints, Information retrieval, Genetic programming |
10 | Darrell P. Rowbottom |
The Insufficiency of the Dutch Book Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 87(1), pp. 65-71, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Dutch Book, probabilistic theories of rationality, subjective interpretation of probability, coherence, degrees of belief |
10 | Qing Liu 0011, Hui Sun |
The Impact of Rough Set Research in China: In Commemoration of Professor Zdzislaw Pawlak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Trans. Rough Sets 6, pp. 172-175, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Una-May O'Reilly, Martin Hemberg |
Integrating generative growth and evolutionary computation for form exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genet. Program. Evolvable Mach. ![In: Genet. Program. Evolvable Mach. 8(2), pp. 163-186, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Architecture, L-systems, Evolutionary design, Grammatical evolution, Interactive evolutionary computation |
10 | Jean-Louis Krivine |
A call-by-name lambda-calculus machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(3), pp. 199-207, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Lambda-calculus machine, Control instruction, Curry-Howard correspondence |
10 | Thomas E. Forster, John Kenneth Truss |
Ramsey's theorem and König's Lemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 46(1), pp. 37-42, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03E25 |
10 | Paul Corazza |
Lifting elementary embeddings j: Vlambda -> Vlambda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 46(2), pp. 61-72, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) Primary 03E55, Secondary 03E40 |
10 | Luigi Santocanale, Yde Venema |
Completeness for Flat Modal Fixpoint Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings, pp. 499-513, 2007, Springer, 978-3-540-75558-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fixpoint logic, completeness, modal algebra |
10 | Ikumi Horie, Kazunori Yamaguchi, Kenji Kashiwabara |
Pattern detection from web using AFA set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIDM ![In: 9th ACM International Workshop on Web Information and Data Management (WIDM 2007), Lisbon, Portugal, November 9, 2007, pp. 113-120, 2007, ACM, 978-1-59593-829-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
AFA, common substructure, non-well-founded set theory, link analysis, web graph |
10 | Jorma K. Mattila |
Possibility Based Modal Semantics for Graded Modifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 220-230, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
metalogic, Semantics of Modal Logic, Semantics of Modifier Logic, Modifier system, Modality, Modifier |
10 | Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra |
Propositional Goedel Logic and Delannoy Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-5, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | An Lu, Wilfred Ng |
Handling Inconsistency of Vague Relations with Functional Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2007, 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings, pp. 229-244, 2007, Springer, 978-3-540-75562-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Adam Megacz |
A coinductive monad for prop-bounded recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007, pp. 11-20, 2007, ACM, 978-1-59593-677-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
coinductive types, type theory |
10 | Lisa Allali |
Algorithmic Equality in Heyting Arithmetic Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers, pp. 1-17, 2007, Springer, 978-3-540-68084-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Vladimir Lifschitz, David Pearce 0001, Agustín Valverde |
A Characterization of Strong Equivalence for Logic Programs with Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings, pp. 188-200, 2007, Springer, 978-3-540-72199-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Fachao Li 0001, Chenxia Jin |
Fuzzy Genetic Algorithm Based on Principal Operation and Inequity Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings, pp. 593-604, 2007, Springer, 978-3-540-74201-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fuzzy inequity degree, principal index, BPO&ID-FGA, Markov chain, Fuzzy optimization, fuzzy genetic algorithm |
10 | Geoff Sutcliffe |
TPTP, TSTP, CASC, etc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings, pp. 6-22, 2007, Springer, 978-3-540-74509-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv |
Labelled Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 311-327, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Xuerui Tan, Julong Deng, Sifeng Liu, Hongxing Pan |
Multi-stratum medical grey relational theory and its application research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 3932-3937, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ryo Ishigaki, Kentaro Kikuchi |
Tree-Sequent Methods for Subintuitionistic Predicate Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings, pp. 149-164, 2007, Springer, 978-3-540-73098-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Shifei Ding, Zhongzhi Shi, Shixiong Xia, Fengxiang Jin |
Studies on Fuzzy Information Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (3) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 3, pp. 376-380, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Adrian Giurca, Gerd Wagner 0001 |
Rule Modeling and Interchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007, pp. 485-491, 2007, IEEE Computer Society, 978-0-7695-3078-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ulf Johansson, Tuve Löfström, Lars Niklasson |
The Importance of Diversity in Neural Network Ensembles - An Empirical Investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007, pp. 661-666, 2007, IEEE, 978-1-4244-1379-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Rajeev Goré, Linh Anh Nguyen |
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers, pp. 268-287, 2007, Springer, 978-3-540-88832-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Marc Aiguier, Delphine Longuet |
Test Selection Criteria for Modal Specifications of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 159-170, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
dynamic specifications, proof tree normalisation, Specification-based testing, unfolding, coalgebras, exhaustivity, selection criteria |
10 | Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells |
Narrative Structure of Mathematical Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, pp. 296-312, 2007, Springer, 978-3-540-73083-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Horacio L. Arló-Costa, Isaac Levi |
Contraction: On the Decision-Theoretical Origins of Minimal Change and Entrenchment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 152(1), pp. 129-154, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
entrenchment, withdrawal, contraction, decision theory, belief revision |
10 | Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo |
Decidability results for sets with atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(2), pp. 269-301, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem |
10 | Stephen A. Cook, Neil Thapen |
The strength of replacement in weak arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(4), pp. 749-764, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
cryptography, PV, Bounded arithmetic |
10 | Larisa Maksimova |
Projective Beth Property in Extensions of Grzegorczyk Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 365-391, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
projective Beth's property, epimorphisms surjectivity, modal logic, decidability, intuitionistic logic |
10 | Wei-Zhi Wu 0001, Yee Leung, Wen-Xiu Zhang |
On Generalized Rough Fuzzy Approximation Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets V, pp. 263-284, 2006, Springer, 3-540-39382-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fuzzy topological spaces, rough sets, fuzzy sets, belief functions, binary relations, approximation operators, neighborhood systems, rough fuzzy sets |
10 | Douglas A. Hanes, Gin McCollum |
Variables Contributing to the Coordination of Rapid Eye/Head Gaze Shifts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 94(4), pp. 300-324, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Gaze shift, Midline, Head-free, Mathematical, Saccade |
10 | Gregory R. Wheeler |
Rational Acceptance and Conjunctive/Disjunctive Absorption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 15(1-2), pp. 49-63, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
rational acceptance, the lottery paradox, System P, bounded uncertain reasoning, probabilistic logic |
10 | Jeffry L. Hirst |
Reverse mathematics of separably closed sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(1), pp. 1-2, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Separably closed sets, Closed sets, ACA, Reverse mathematics |
10 | Pavel Naumov |
Upper bounds on complexity of Frege proofs with limited use of certain schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(4), pp. 431-446, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jakob Kellner |
Preserving Non-null with Suslin+ Forcings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(6), pp. 649-664, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03E40, 03E17 |
10 | Julien Narboux |
Mechanical Theorem Proving in Tarski's Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 139-156, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Ernie Cohen |
Weak Kleene Algebra and Computation Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 1, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jixin Ma 0001, Brian Knight |
Using Set Operations to Deal with the Frame Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Firth IEEE International Conference on Cognitive Informatics, ICCI 2006, July 17-19, Beijing, China, pp. 447-452, 2006, IEEE Computer Society, 1-4244-0475-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | |
Formalization of Capability for Command-Based Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Firth IEEE International Conference on Cognitive Informatics, ICCI 2006, July 17-19, Beijing, China, pp. 195-199, 2006, IEEE Computer Society, 1-4244-0475-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Shifei Ding, Zhongzhi Shi, Fengxiang Jin |
Studies on Fuzzy Information Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Firth IEEE International Conference on Cognitive Informatics, ICCI 2006, July 17-19, Beijing, China, pp. 292-296, 2006, IEEE Computer Society, 1-4244-0475-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jiandong Jiang, Fang Xu 0002, Xinrong Zhen, Xian Zhang, Yangyu Wang, Libin Zhang |
Axiomatic Design Using Ontology Modeling for Interoperability in Small Agriculture Machinery Product Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLAMAT ![In: Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management, Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15-17, 2006, Shanghai, China, pp. 184-191, 2006, Springer, 0-387-34402-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Small agricultural machinery, Axiomatic design, Ontology, Gearbox |
10 | Nikolai Tillmann, Feng Chen 0006, Wolfram Schulte |
Discovering Likely Method Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 717-736, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Dejing Dou, Drew V. McDermott |
Towards Theory Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers, pp. 16-28, 2006, Springer, 3-540-68959-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Stéphanie Delaune, Pascal Lafourcade 0001, Denis Lugiez, Ralf Treinen |
Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II, pp. 132-143, 2006, Springer, 3-540-35907-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Lawrence S. Moss |
Uniform Functors on Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays Dedicated to Joseph A. Goguen ![In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp. 420-448, 2006, Springer, 3-540-35462-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Healfdene Goguen, Conor McBride, James McKinna |
Eliminating Dependent Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays Dedicated to Joseph A. Goguen ![In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp. 521-540, 2006, Springer, 3-540-35462-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Ergün Eraslan, Diyar Akay, Mustafa Kurt |
Usability Ranking of Intercity Bus Passenger Seats Using Fuzzy Axiomatic Design Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering, Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006, Proceedings, pp. 141-148, 2006, Springer, 3-540-44494-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Fuzzy Axiomatic Design, Usability, Conformance Testing, Cooperative Engineering |
10 | Wilfred Ng |
Preference Functional Dependencies for Managing Choices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2006, 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings, pp. 140-154, 2006, Springer, 3-540-47224-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Frédéric Fürst, Francky Trichet |
Heavyweight Ontology Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (1) ![In: On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, pp. 38-39, 2006, Springer, 3-540-48269-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Heavyweight Ontology, Graph-Based Techniques, Conceptual Graphs, Axioms, Ontology Matching, Ontology Evaluation |
10 | Aditya Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca Grau |
Repairing Unsatisfiable Concepts in OWL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11-14, 2006, Proceedings, pp. 170-184, 2006, Springer, 3-540-34544-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Florent Kirchner |
A Finite First-Order Theory of Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, pp. 188-202, 2006, Springer, 978-3-540-74463-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Danko Ilik |
Zermelo's Well-Ordering Theorem in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, pp. 175-187, 2006, Springer, 978-3-540-74463-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Dung Nguyen Xuan, Ladjel Bellatreche, Guy Pierra |
A Versioning Management Model for Ontology-Based Data Warehouses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, 8th International Conference, DaWaK 2006, Krakow, Poland, September 4-8, 2006, Proceedings., pp. 195-206, 2006, Springer, 3-540-37736-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Benjamin Werner |
On the Strength of Proof-Irrelevant Type Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 604-618, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Sebastian Link |
A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 4-8 September 2006, Krakow, Poland, pp. 537-541, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Shan-Li Hu, Chun-Yi Shi |
A Multi-subset Possible World Semantics for Intention Operator of Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Agent Computing and Multi-Agent Systems, 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings, pp. 484-489, 2006, Springer, 3-540-36707-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multi-subset possible world semantics, Agent, semantics, intention |
10 | Adam Koprowski |
Certified Higher-Order Recursive Path Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings, pp. 227-241, 2006, Springer, 3-540-36834-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Sik Chun Lam, Jeff Z. Pan, Derek H. Sleeman, Wamberto Weber Vasconcelos |
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 18-22 December 2006, Hong Kong, China, pp. 428-434, 2006, IEEE Computer Society, 0-7695-2747-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | David E. Cardoze, Gary L. Miller, Todd Phillips |
Representing Topological Structures Using Cell-Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GMP ![In: Geometric Modeling and Processing - GMP 2006, 4th International Conference, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings, pp. 248-266, 2006, Springer, 3-540-36711-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
cell tuple, cell chain, computational topology, cell complex |
10 | Jiye Liang, Yuhua Qian |
Axiomatic Approach of Knowledge Granulation in Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings, pp. 1074-1078, 2006, Springer, 3-540-49787-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
partial relation, knowledge granulation, Information system |
10 | Simon Colton, Pedro Torres 0001, Paul A. Cairns, Volker Sorge |
Managing Automatically Formed Mathematical Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 237-250, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Benedikt Löwe |
A Global Wellordering of Norms Defined via Blackwell Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 22(2), pp. 85-92, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Martin’s conjecture on the equivalence of determinancy and Blackwell determinancy, prewellorderings, imperfect information games, First Periodicity Theorem |
10 | He Wei |
Remarks on Completely Regular Lindelöf Reflection of Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(1), pp. 71-77, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
completely regular Lindelöf reflection of locales, l-ring, real-valued continuous functions on locales, cozero sets |
10 | Tadeusz Litak, Frank Wolter |
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 81(2), pp. 153-165, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
frame incompleteness, computational complexity, temporal logic, NP-completeness, tense logic |
10 | Athanassios Tzouvaras |
Cardinality without Enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(1), pp. 121-141, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Cardinality notion, wellordering, generic class, separation class, nonstandard model of arithmetic, choice, quantum mechanics |
10 | Witold A. Pogorzelski, Piotr Wojtylak |
A Proof System for Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(1), pp. 95-104, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Inferential rule, Consequence operation, Classical logic |
10 | Torben Braüner |
Natural Deduction for First-Order Hybrid Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 14(2), pp. 173-198, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
First-order hybrid logic, first-order modal logic, natural deduction |