Related categories
Siblings:
110 found
Search inside:
(import / add options)   Order:
1 — 50 / 110
  1. Samy S. Abu Naser (2016). ITSB: An Intelligent Tutoring System Authoring Tool. Journal of Scientific and Engineering Research 3 (5):63-71.
    Abstract. Intelligent Tutoring System Builder (ITSB) is an authoring tool designed and developed to aid teachers in constructing intelligent tutoring systems in a multidisciplinary fields. The teacher is needed to create a set of pedagogical fundamentals, which, in line, are inured to automatically build up a broad tutor framework and construct an intelligent tutoring system. In this paper an explanation of the theory and the architecture of the tool is outlined. A presentation of several system components, the requirements of the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2. Samy S. Abu Naser & Mazen J. Al Shobaki (2016). Computerized Management Information Systems Resources and Their Relationship to the Development of Performance in the Electricity Distribution Company in Gaza. EUROPEAN ACADEMIC RESEARCH 4 (8):6969-7002.
    This paper aims to identify computerized management information systems resources and their relationship to the development of performance in the Electricity Distribution Company in Gaza. This research used two dimensions. The first dimension is computerized management information systems and the second dimension the Development of Performance. The control sample was (063). (360) questioners were distributed and (306) were retrieved back with a percentage of (85%). Several statistical tools were used for data analysis and hypotheses testing, including reliability correlation using Cronbach’s (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  3. Samy S. Abu Naser, Mazen J. Al Shobaki & Youssef M. Abu Amuna (2016). Knowledge Management Maturity in Universities and its Impact on Performance Excellence "Comparative Study". Journal of Scientific and Engineering Research 3.
    The paper assesses Knowledge Management Maturity(KMM) in the universities to determine the impact of knowledge management on performance excellence. This study was applied on Al-Azhar University and Al-Quds Open University in Gaza strip, Palestine. This paper depends on Asian productivity organization model that used to assess KMM. Second dimension which assess performance excellence was developed by the authors. The controlled sample was (610). Several statistical tools were used for data analysis and hypotheses testing, including reliability Correlation using Cronbach’s alpha, “ANOVA”, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4. Samy S. Abu Naser, Mazen J. Al Shobaki & Youssef M. Abu Amuna (2016). Measuring Knowledge Management Maturity at HEI to Enhance Performance-an Empirical Study at Al-Azhar University in Palestine. International Journal of Commerce and Management Research 2 (5):55-62.
    This paper aims to assess knowledge management maturity at HEI to determine the most effecting variables on knowledge management that enhance the total performance of the organization. This study was applied on Al-Azhar University in Gaza strip, Palestine. This paper depends on Asian productivity organization model that used to assess KM maturity. Second dimension assess high performance was developed by the authors. The controlled sample was (364). Several statistical tools were used for data analysis and hypotheses testing, including reliability Correlation (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5. Samy S. Abu Naser, Mazen J. Al Shobaki & Youssef M. Abu Amuna (2016). Promoting Knowledge Management Components in the Palestinian Higher Education Institutions - A Comparative Study. International Letters of Social and Humanistic Sciences 73:42-53.
    This paper aims to measure knowledge management maturity in higher education institutions to determine the impact of knowledge management on high performance. Also the study aims to compare knowledge management maturity between universities and intermediate colleges. This study was applied on five higher education institutions in Gaza strip, Palestine. Asian productivity organization model was applied to measure Knowledge Management Maturity. Second dimension which assess high performance was developed by the authors. The controlled sample was (917). Several statistical tools were used (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  6. Samy S. Abu Naser, Wadee W. Alamawi & Mostafa F. Alfarra (2016). Rule Based System for Diagnosing Wireless Connection Problems Using SL5 Object. International Journal of Information Technology and Electrical Engineering 5 (5).
    There is an increase in the use of in-door wireless networking solutions via Wi-Fi and this increase infiltrated and utilized Wi-Fi enable devices, as well as smart mobiles, games consoles, security systems, tablet PCs and smart TVs. Thus the demand on Wi-Fi connections increased rapidly. Rule Based System is an essential method in helping using the human expertise in many challenging fields. In this paper, a Rule Based System was designed and developed for diagnosing the wireless connection problems and attain (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  7. Tom Addis, Jan Townsend Addis, Dave Billinge, David Gooding & Bart-Floris Visscher (2008). The Abductive Loop: Tracking Irrational Sets. [REVIEW] Foundations of Science 13 (1):5-16.
    We argue from the Church-Turing thesis (Kleene Mathematical logic. New York: Wiley 1967) that a program can be considered as equivalent to a formal language similar to predicate calculus where predicates can be taken as functions. We can relate such a calculus to Wittgenstein’s first major work, the Tractatus, and use the Tractatus and its theses as a model of the formal classical definition of a computer program. However, Wittgenstein found flaws in his initial great work and he explored these (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  8. Alaa N. Akkila & Samy S. Abu Naser (2016). Proposed Expert System for Calculating Inheritance in Islam. World Wide Journal of Multidisciplinary Research and Development 2 (9):38-48.
    The truth of every human being is the end his life with death, and this leads to leaving assets and funds for those after him and can lead to hate between the heirs, it has made a point of Islamic law on all aspects of life, including the subject of the inheritance of the deceased. The main problem is how to get the knowledge of the basics of inheritance. This paper reviews work done in the use of expert system software (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Mazen J. Al Shobaki, Youssef M. Abu Amuna & Samy S. Abu Naser (2016). The Impact of Top Management Support for Strategic Planning on Crisis Management: Case Study on UNRWA-Gaza Strip. International Journal of Academic Research and Development 1 (10):20-25.
    The study aims to analyze the impact of top management support for strategic planning on crisis management in UNRWA-Gaza Strip field in Palestine. Several descriptive analytical methods were used for this purpose, and a survey as a tool for data collection. Community size was (881), and the study sample was stratified random (268). The overall findings of the current study show that top management provides needed HR for strategic planning but with no financial support. Also there are shortcomings in the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. Mazen J. Al Shobaki & Samy S. Abu Naser (2016). Decision Support Systems and its Role in Developing the Universities Strategic Management: Islamic University in Gaza as a Case Study. International Journal of Advanced Research and Development 1 (10):33-47.
    This paper aims to identify the decision support systems and their role on the strategic management development in the Universities- Case Study: Islamic University of Gaza. The descriptive approach was used where a questionnaire was developed and distributed to a stratified random sample. (230) questionnaires were distributed and (204) were returned with response rate (88.7%). The most important findings of the study: The presence of a statistically significant positive correlation between the decision support systems and strategic management in the Islamic (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. Mazen J. Al Shobaki & Samy S. Abu Naser (2016). The Reality of Modern Methods Applied in Process of Performance Assessments of Employees in the Municipalities in Gaza Strip. International Journal of Advanced Scientific Research 1 (7):14-23.
    The research aims to identify the reality of modern methods applied in the process of performance assessments of employees in the municipalities of Gaza-strip, Complete Census method of community study was used, (571) questionnaires were distributed to all members of the community study, (524) questionnaires were recovery with rate of (91.76%). The most important findings of the study: There were statistically significant relationship differences between the applications of modern methods in the performance assessments of employees in the municipalities of Gaza-strip. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan & Luciano Serafini (2007). Verifying Space and Time Requirements for Resource-Bounded Agents. In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer
    The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge base. In this paper we show how to determine the effective reasoning capability of an agent with limited memory by encoding the agent as a transition system and automatically verifying whether a state where the agent believes a certain conclusion is reachable from the start state. We present experimental results using (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  13. F. Alt & M. Ruminoff (eds.) (1965). Advances in Computers, Volume 6. Academic Press.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  14. Mark A. Bedau, Richard Crandall & Michael J. Raven (2009). Cryptographic Hash Functions Based on ALife. PSIpress.
    There is a long history of cryptographic hash functions, i.e. functions mapping variable-length strings to fixed-length strings, and such functions are also expected to enjoy certain security properties. Hash functions can be effected via modular arithmetic, permutation-based schemes, chaotic mixing, and so on. Herein we introduce the notion of an artificial-life (ALife) hash function (ALHF), whereby the requisite mixing action of a good hash function is accomplished via ALife rules that give rise to complex evolution of a given system. Various (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  15. Thomas Bittner & Barry Smith (2003). A Theory of Granular Partitions. In Foundations of Geographic Information Science. Taylor & Francis
    We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  16. Adam Bleckert & Rachel Ol Wong (2011). Identifying Roles for Neurotransmission in Circuit Assembly: Insights Gained From Multiple Model Systems and Experimental Approaches. Bioessays 33 (1):61-72.
  17. Robin Blume-Kohout, Carlton M. Caves & Ivan H. Deutsch (2002). Climbing Mount Scalable: Physical Resource Requirements for a Scalable Quantum Computer. [REVIEW] Foundations of Physics 32 (11):1641-1670.
    The primary resource for quantum computation is Hilbert-space dimension. Whereas Hilbert space itself is an abstract construction, the number of dimensions available to a system is a physical quantity that requires physical resources. Avoiding a demand for an exponential amount of these resources places a fundamental constraint on the systems that are suitable for scalable quantum computation. To be scalable, the effective number of degrees of freedom in the computer must grow nearly linearly with the number of qubits in an (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  18. Gilles Brassard, Anne Broadbent & Alain Tapp (2005). Quantum Pseudo-Telepathy. Foundations of Physics 35 (11):1877-1907.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  19. Michael Braund & Daniel Hambleton (2011). Dragonfly: An Ecological Approach to Digital Architectural Design. In J. M. Taron, V. Parlac, B. Kolarevic & J. S. Johnson (eds.), ACADIA: Integration through Computation.
    In his keynote address delivered to The American Society for Esthetics in 1976, James J. Gibson wrote, “Architecture and design do not have a satisfactory theoretical basis.” He then asked, “Can an ecological approach to the psychology of perception and behavior provide it?” (1976, p. 413) We believe that it can, at least in part. In this paper, we expand upon Gibson’s insights into the nature of perceptual experience by applying the concept of “affordances” to the design of architectural objects (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  20. Cameron Buckner, Mathias Niepert & Colin Allen (2011). From Encyclopedia to Ontology: Toward Dynamic Representation of the Discipline of Philosophy. Synthese 182 (2):205-233.
    The application of digital humanities techniques to philosophy is changing the way scholars approach the discipline. This paper seeks to open a discussion about the difficulties, methods, opportunities, and dangers of creating and utilizing a formal representation of the discipline of philosophy. We review our current project, the Indiana Philosophy Ontology (InPhO) project, which uses a combination of automated methods and expert feedback to create a dynamic computational ontology for the discipline of philosophy. We argue that our distributed, expert-based approach (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  21. M. W. Bunder & R. M. Rizkalla (2009). Proof-Finding Algorithms for Classical and Subclassical Propositional Logics. Notre Dame Journal of Formal Logic 50 (3):261-273.
    The formulas-as-types isomorphism tells us that every proof and theorem, in the intuitionistic implicational logic $H_\rightarrow$, corresponds to a lambda term or combinator and its type. The algorithms of Bunder very efficiently find a lambda term inhabitant, if any, of any given type of $H_\rightarrow$ and of many of its subsystems. In most cases the search procedure has a simple bound based roughly on the length of the formula involved. Computer implementations of some of these procedures were done in Dekker. (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22. Arthur W. Burks, Computation, Behavior, and Structure in Fixed and Growing Automata : Technical Report.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  23. Arthur W. Burks, From ENIAC to the Stored Program Computer : Two Revolutions in Computers.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  24. Arthur W. Burks, Language and Automata : Final Report.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  25. Arthur W. Burks, J. Willison Crichton & Marion R. Finley, Machine Adaptive Systems : Quarterly Report No. 1.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. Arthur Walter Burks & Jesse B. Wright, Sequence Generators, Graphs, and Formal Languages.
    A sequence generator is a finite graph, more general than, but akin to, the usual state diagram associated with a finite automaton. The nodes of a sequence generator represent complete states, and each node is labeled with an input and an output state. An element of the behavior of a sequence generator is obtained by taking the input and output states along an infinite path of the graph.Sequence generators may be associated with formulas of the monadic predicate calculus, in which (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  27. Jianfu Chen (2015). Language Grounding in Massive Online Data. The Classical Review 1.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  28. Henning Christiansen, Isidora Stojanovic & George A. Papadopoulos (eds.) (2015). Modeling and Using Context. 9th International and Interdisciplinary Conference, Context 2015. Springer.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  29. Alan Cobham (1965). The Intrinsic Computational Difficulty of Functions. In Yehoshua Bar-Hillel (ed.), Logic, Methodology and Philosophy of Science: Proceedings of the 1964 International Congress (Studies in Logic and the Foundations of Mathematics). North-Holland Publishing 24-30.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  30. S. B. Cooper & Andrea Sorbi (eds.) (2011). Computability in Context: Computation and Logic in the Real World. World Scientific.
    Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions ...
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  31. Michael E. Cuffaro (2014). Review Of: Christopher G. Timpson, Quantum Information Theory and the Foundations of Quantum Mechanics. [REVIEW] Philosophy of Science 81 (4):681-684,.
  32. David Danks, Learning Integrated Structure From Distributed Databases with Overlapping Variables.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. U. Endriss & M. Baldoni (eds.) (2006). Declarative Agent Languages and Technologies 4. Springer.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  34. Steven Ericsson-Zenith (forthcoming). Explaining Experience In Nature: The Foundations Of Logic And Apprehension. Institute for Advanced Science & Engineering.
    At its core this book is concerned with logic and computation with respect to the mathematical characterization of sentient biophysical structure and its behavior. -/- Three related theories are presented: The first of these provides an explanation of how sentient individuals come to be in the world. The second describes how these individuals operate. And the third proposes a method for reasoning about the behavior of individuals in groups. -/- These theories are based upon a new explanation of experience in (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  35. William M. Farmer (1995). Reasoning About Partial Functions with the Aid of a Computer. Erkenntnis 43 (3):279 - 294.
    Partial functions are ubiquitous in both mathematics and computer science. Therefore, it is imperative that the underlying logical formalism for a general-purpose mechanized mathematics system provide strong support for reasoning about partial functions. Unfortunately, the common logical formalisms — first-order logic, type theory, and set theory — are usually only adequate for reasoning about partial functionsin theory. However, the approach to partial functions traditionally employed by mathematicians is quite adequatein practice. This paper shows how the traditional approach to partial functions (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  36. Liping Gao & Wenfeng Tang (2015). High Efficient Consistency Maintenance Strategy of Real-Time String Text Editing Systems. International Journal of Hybrid Information Technology 8.
    Replicated architecture is widely used in the field of real-time collaborative text editor. The idea of address space transformation provides a new way for concurrency control. During concurrent processing, it retraces the document status back to the state when the operations are generated to maintain consistency. However the previous concurrency processes strategy is based on single characters, the transmission cost during processing is too high since every character is packaged and broadcasted to remote sites after they are created by local (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  37. Liping Gao & Fangyu Yu (2015). Consistency Maintenance of Group/Ungroup Operations in Object-Based Collaborative Graphical Editing Systems. International Journal of Signal Processing, Image Processing and Pattern Recognition 8.
    In real-time collaborative graphical editing systems, Object-based Group/Ungroup operations are frequently accessible and practically useful. However, the existing research on these operations of the graphical editing is rare and defective. In this paper, based on Multi-Version strategy and Address Space Transformation method, a new MVSDR algorithm, which is not only applied to simple operations (such as Create, Delete, ChangeATT, etc.), but also suitable for Group/Ungroup ones, is proposed to solve the consistency maintenance problem. The proposed algorithm abandons previous attempts to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  38. Kyriaki G. Giota (2014). Mental Health Apps: Innovations, Risks and Ethical Considerations. E-Health Telecommunication Systems and Networks 3:19-23.
    The purpose of this article is to briefly review some of the innovations that mobile mental health apps present to consumers and mental health practitioners. Particular attention was given to understanding some of the important risks and the potential ethical dilemmas which may arise for counselors and psychologists who embrace them in their practice. Key considerations of issues pertinent to regulations, privacy concerns, and research are being discussed.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  39. Marco Gonzalez, Vera Ls De Lima & Jose Valdeni de Lima (2006). Intelligent Text Processing Applications-Information Retrieval-Lexical Normalization and Relationship Alternatives for a Term Dependence Model in Information Retrieval. In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer-Verlag 394-405.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  40. Brent Gregory, Sue Gregory, Bogdanovych A., Jacobson Michael, Newstead Anne & Simeon Simoff and Many Others (2011). How Are Australian Higher Education Institutions Contributing to Innovative Teaching and Learning Through Virtual Worlds? In Gregory Sue (ed.), Proceedings of Ascilite 2011 (Australian Society of Computers in Tertiary Education). Ascilite
    Over the past decade, teaching and learning in virtual worlds has been at the forefront of many higher education institutions around the world. The DEHub Virtual Worlds Working Group (VWWG) consisting of Australian and New Zealand higher education academics was formed in 2009. These educators are investigating the role that virtual worlds play in the future of education and actively changing the direction of their own teaching practice and curricula. 47 academics reporting on 28 Australian higher education institutions present an (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  41. Stan Gudder (2006). Quantum Mechanics on Finite Groups. Foundations of Physics 36 (8):1160-1192.
    Although a few new results are presented, this is mainly a review article on the relationship between finite-dimensional quantum mechanics and finite groups. The main motivation for this discussion is the hidden subgroup problem of quantum computation theory. A unifying role is played by a mathematical structure that we call a Hilbert *-algebra. After reviewing material on unitary representations of finite groups we discuss a generalized quantum Fourier transform. We close with a presentation concerning position-momentum measurements in this framework.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  42. Pim Haselager (2010). Experimentele filosofie, kunstmatige intelligentie en cognitieve neurowetenschap. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 102 (1):49-58.
    English: In this paper I indicate why I consider 'experimental philosophy' to be good news, though not as good as it could be, and not as all that new. I'll argue that there is no need to restrict experimental philosophy to eliciting intuitions through questionnaires. I'll indicate that good examples of experimental philosophy already exist in Artificial Intelligence and Cognitive Neuroscience. Dutch: Hieronder wil ik proberen aan te geven waarom ik de experimentele filosofie weliswaar als goed nieuws beschouw, maar niet (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  43. Peter Hucklenbroich (1988). Problems of Nomenclature and Classification in Medical Expert Systems. Theoretical Medicine and Bioethics 9 (2).
    Medical expert systems (MES) are knowledge-based computer programs that are designed for advising physicians on diagnostical and therapeutical decision-making. They use heuristic methods developed by Artificial Intelligence researchers in order to retrieve from large knowledge-bases information needed in the situation. Constructing the knowledge-base of a MES embraces the problem of explicating and fixing the conceptual, causal and epistemic relations between a lot of medical objects. There is a number of preconditions which any adequate representation of such knowledge must fulfil, among (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  44. Michael J. Jacobson, Charlotte Taylor, Anne Newstead, Wai Yat Wong, Deborah Richards, Meredith Taylor, Porte John, Kartiko Iwan, Kapur Manu & Hu Chun (2011). Collaborative Virtual Worlds and Productive Failure. In Proceedings of the CSCL (Computer Supported Cognition and Learning) III. University of Hong Kong
    This paper reports on an ongoing ARC Discovery Project that is conducting design research into learning in collaborative virtual worlds (CVW).The paper will describe three design components of the project: (a) pedagogical design, (b)technical and graphics design, and (c) learning research design. The perspectives of each design team will be discussed and how the three teams worked together to produce the CVW. The development of productive failure learning activities for the CVW will be discussed and there will be an interactive (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  45. Michael J. Jacobson, Charlotte Taylor, Anne Newstead, Wai Yat Wong, Deborah Richards, Meredith Taylor, Porte John, Kartiko Iwan, Kapur Manu & Hu Chun (2011). Proceedings of the CSCL (Computer Supported Cognition and Learning) III. University of Hong Kong.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  46. Mark Jago (2006). Resource-Bounded Belief Revision and Contraction. In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer 141--154.
    Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, and revise their beliefs by incorporating a new belief which may be inconsistent with their previous beliefs. An influential theory of belief change proposed by Alchourron, G¨ardenfors and Makinson (AGM) [1] describes postulates which a rational belief revision and contraction operations should satisfy. The AGM postulates have been perceived (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. Fred Johnson (1995). Apodeictic Syllogisms: Deductions and Decision Procedures. History and Philosophy of Logic 16 (1):1-18.
    One semantic and two syntactic decision procedures are given for determining the validity of Aristotelian assertoric and apodeictic syllogisms. Results are obtained by using the Aristotelian deductions that necessarily have an even number of premises.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  48. Hisham Khdair (2015). SP2MN: A Software Process Meta-Modeling Language. International Review on Computers and Software 10 (7):726-734.
    In the last two decades, software process modeling has been an area of interest within both academia and industry. Software process modeling aims at defining and representing software processes in the form of models. A software process model represents the medium that allows better understanding, management and control of the software process. Software process metamodeling rather, provides standard metamodels which enable the defining of customized software process models for a specific project in hand by instantiation. Several software process modeling/meta-modeling languages (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  49. Michael Kohlhase, Compensating the Computational Bias of Spreadsheets with MKM Techniques.
    Spreadsheets are mathematical documents that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direct approach to computation. In this paper we show that spreadsheets are interesting applications for MKM techniques which can alleviate usability and maintenance problems as spreadsheet-based applications grow evermore complex and longlived. We present the software and information architecture of a semantic enhancement of MS Excel spreadsheets that aims at compensating the computational bias in spreadsheets.
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  50. Michael Kohlhase, STEX: Semantic Markup in TEX/L.
    We present a collection of TEX macro packages that allow to markup TEX/L ATEX documents semantically without leaving the document format, essentially turning TEX/L ATEX into a document format for mathematical knowledge management (MKM).
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
1 — 50 / 110