Results 11 to 20 of about 108,835 (244)
From Symbols to Embeddings: A Tale of Two Representations in Computational Social Science [PDF]
Journal of Social Computing, 2021 Computational Social Science (CSS), aiming at utilizing computational methods to address social science problems, is a recent emerging and fast-developing field. The study of CSS is data-driven and significantly benefits from the availability of online user-generated contents and social networks, which contain rich text and network data for ...
Huimin Chen +5 more
openaire +3 more sources
Symbolic Computation in Software Science: My Personal View [PDF]
Electronic Proceedings in Theoretical Computer Science, 2021 In this note, I develop my personal view on the scope and relevance of symbolic computation in software science. For this, I discuss the interaction and differences between symbolic computation, software science, automatic programming, mathematical knowledge management, artificial intelligence, algorithmic intelligence, numerical computation, and ...
openaire +2 more sources
Reliable scalable symbolic computation: The design of SymGridPar2 [PDF]
, 2014 Symbolic computation is an important area of both Mathematics and Computer Science, with many large computations that would benefit from parallel execution.
Al Zain +22 more
core +4 more sources
Computer science as empirical inquiry [PDF]
Communications of the ACM, 1976 Computer science is the study of the phenomena surrounding computers. The founders of this society understood this very well when they called themselves the Association for Computing Machinery. The machine—not just the hardware, but the programmed, living machine—is the organism we study.
Allen Newell, Herbert A. Simon
openaire +2 more sources
The Grand Challenges and Myths of Neural-Symbolic Computation [PDF]
, 2008 The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field.
Lamb, Luis C.
core +1 more source
Learning Lukasiewicz logic [PDF]
, 2018 The integration between connectionist learning and logic-based reasoning is a longstanding foundational question in artificial intelligence, cognitive systems, and computer science in general. Research into neural-symbolic integration aims to tackle this
Besold, T. R., Harder, F.
core +1 more source
Proceedings Fourth International Symposium on Symbolic Computation in Software Science
Electronic Proceedings in Theoretical Computer Science, 2013 Symbolic computation is the science of computing with symbolic objects (terms, formulae, programs, algebraic objects, geometrical objects, etc). Powerful symbolic algorithms have been developed during the past decades and have played an influential role in theorem proving, automated reasoning, software verification, model checking, rewriting ...
Adel Bouhoula +2 more
openaire +3 more sources
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science
Electronic Proceedings in Theoretical Computer Science, 2021 This volume contains papers presented at the Ninth International Symposium on Symbolic Computation in Software Science, SCSS 2021. Symbolic Computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects, etc.).
openaire +3 more sources
, 2015 This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his leadership.
Clavel, Manuel +6 more
core +1 more source
On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems [PDF]
, 2006 We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual convergence of
A. Arnold +25 more
core +2 more sources